Trace number 2692529

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.55 1800.51

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: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692529-1277916966.wbo>
0.39/0.46	c original problem has 50490 variables (32798 bin, 0 int, 0 impl, 17692 cont) and 69436 constraints
0.39/0.46	c problem read
0.39/0.46	c presolving settings loaded
1.39/1.40	c presolving:
1.79/1.87	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.29/2.32	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.79/2.80	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
3.09/3.10	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.19/3.29	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.39/3.41	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.48	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.53	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.56	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.58	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.59	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.59/3.61	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.62	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.63	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.67	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.79/3.81	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.87	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.89/3.90	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.79/7.85	c    (7.0s) probing: 1000/11608 (8.6%) - 0 fixings, 0 aggregations, 62838 implications, 0 bound changes
9.99/10.07	c    (9.1s) probing: 2000/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
9.99/10.07	c    (9.1s) probing: 2001/11608 (17.2%) - 0 fixings, 0 aggregations, 70287 implications, 0 bound changes
9.99/10.07	c    (9.1s) probing aborted: 2000/2000 successive useless probings
9.99/10.07	c presolving (19 rounds):
9.99/10.07	c  32850 deleted vars, 48451 deleted constraints, 12191 tightened bounds, 0 added holes, 19 changed sides, 44 changed coefficients
9.99/10.07	c  1150807 implications, 0 cliques
9.99/10.07	c presolved problem has 17640 variables (11608 bin, 0 int, 0 impl, 6032 cont) and 20989 constraints
9.99/10.07	c    6032 constraints of type <indicator>
9.99/10.07	c     801 constraints of type <varbound>
9.99/10.07	c     220 constraints of type <knapsack>
9.99/10.07	c       3 constraints of type <setppc>
9.99/10.07	c    5231 constraints of type <linear>
9.99/10.07	c    8702 constraints of type <logicor>
9.99/10.07	c transformed objective value is always integral (scale: 1)
9.99/10.07	c Presolving Time: 8.97
9.99/10.07	c - non default parameters ----------------------------------------------------------------------
9.99/10.07	c # SCIP version 1.2.1.2
9.99/10.07	c 
9.99/10.07	c # frequency for displaying node information lines
9.99/10.07	c # [type: int, range: [-1,2147483647], default: 100]
9.99/10.07	c display/freq = 10000
9.99/10.07	c 
9.99/10.07	c # maximal time in seconds to run
9.99/10.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.99/10.07	c limits/time = 1799.55
9.99/10.07	c 
9.99/10.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.99/10.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.99/10.07	c limits/memory = 3420
9.99/10.07	c 
9.99/10.07	c # should presolving try to simplify inequalities
9.99/10.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.99/10.07	c constraints/linear/simplifyinequalities = TRUE
9.99/10.07	c 
9.99/10.07	c # should presolving try to simplify knapsacks
9.99/10.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.99/10.07	c constraints/knapsack/simplifyinequalities = TRUE
9.99/10.07	c 
9.99/10.07	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.99/10.07	c # [type: int, range: [-1,2147483647], default: -1]
9.99/10.07	c separating/rapidlearning/freq = 0
9.99/10.07	c 
9.99/10.07	c -----------------------------------------------------------------------------------------------
9.99/10.07	c start solving
9.99/10.08	c 
10.09/10.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.09/10.15	c   9.2s|     1 |     0 |     0 |     - | 169M|   0 |   0 |  17k|  20k|  17k|8925 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.19/10.26	c   9.3s|     1 |     0 |  1447 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9563 | 638 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.31	c   9.3s|     1 |     0 |  1813 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9768 | 843 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.36	c   9.4s|     1 |     0 |  2088 |     - | 169M|   0 |   0 |  17k|  20k|  17k|9919 | 994 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.29/10.40	c   9.4s|     1 |     0 |  2234 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1079 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.39/10.42	c   9.4s|     1 |     0 |  2276 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1113 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.39/10.44	c   9.5s|     1 |     0 |  2311 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1129 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.39/10.45	c   9.5s|     1 |     0 |  2321 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1139 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.39/10.47	c   9.5s|     1 |     0 |  2323 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1141 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.39/10.48	c   9.5s|     1 |     2 |  2323 |     - | 169M|   0 |   0 |  17k|  20k|  17k|  10k|1141 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
393.10/393.14	c   383s| 10000 | 10001 |107375 |  10.5 | 251M|  97 |   9 |  17k|  20k|  17k|  10k|  16k|   0 |9183 | 0.000000e+00 |      --      |    Inf 
621.81/621.87	c   608s| 20000 | 20001 |186690 |   9.2 | 331M| 119 |   7 |  17k|  20k|  17k|  10k|  31k|   0 |  10k| 0.000000e+00 |      --      |    Inf 
835.81/835.82	c   818s| 30000 | 30001 |268072 |   8.9 | 410M| 121 |   0 |  17k|  20k|  17k|  10k|  44k|   0 |  11k| 0.000000e+00 |      --      |    Inf 
1039.32/1039.35	c  1018s| 40000 | 40001 |340537 |   8.5 | 489M| 135 |   7 |  17k|  20k|  17k|  10k|  59k|   0 |  11k| 0.000000e+00 |      --      |    Inf 
1243.42/1243.49	c  1219s| 50000 | 50001 |404021 |   8.0 | 569M| 135 |   2 |  17k|  20k|  17k|  10k|  72k|   0 |  12k| 0.000000e+00 |      --      |    Inf 
1439.52/1439.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1439.52/1439.51	c  1412s| 60000 | 60001 |462724 |   7.7 | 648M| 137 |   1 |  17k|  20k|  17k|  10k|  84k|   0 |  12k| 0.000000e+00 |      --      |    Inf 
1655.54/1655.58	c  1624s| 70000 | 70001 |533097 |   7.6 | 728M| 137 |   3 |  17k|  20k|  17k|  10k|  97k|   0 |  13k| 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.02	c 
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time (sec) : 1765.65
1800.04/1800.02	c Solving Nodes      : 76889
1800.04/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.02	c Gap                : infinite
1800.04/1800.02	s UNKNOWN
1800.04/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.02	c Solving Time       :    1765.65
1800.04/1800.02	c Original Problem   :
1800.04/1800.02	c   Problem name     : HOME/instance-2692529-1277916966.wbo
1800.04/1800.02	c   Variables        : 50490 (32798 binary, 0 integer, 0 implicit integer, 17692 continuous)
1800.04/1800.02	c   Constraints      : 69436 initial, 69436 maximal
1800.04/1800.02	c Presolved Problem  :
1800.04/1800.02	c   Problem name     : t_HOME/instance-2692529-1277916966.wbo
1800.04/1800.02	c   Variables        : 17640 (11608 binary, 0 integer, 0 implicit integer, 6032 continuous)
1800.04/1800.02	c   Constraints      : 20989 initial, 20989 maximal
1800.04/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.02	c   trivial          :       0.01        218          0          0          0          0          0          0          0
1800.04/1800.02	c   dualfix          :       0.08      24700          0          0          0          0          0          0          0
1800.04/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   implics          :       0.07          0          0          0          0          0          0          0          0
1800.04/1800.02	c   probing          :       6.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   indicator        :       0.69          0          0          0          0          0      11660          0          0
1800.04/1800.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.02	c   knapsack         :       0.03          0          0          0          0          0          0         17         41
1800.04/1800.02	c   setppc           :       0.00          0          0          0          0          0          1          0          0
1800.04/1800.02	c   linear           :       1.27       5958       1974          0      12191          0      36790          2          3
1800.04/1800.02	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.04/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   integral         :          0          0          0      99442          0          0          0          0          0      94982
1800.04/1800.02	c   indicator        :       6032          0     370686      51951          0          0      38340          0          0          0
1800.04/1800.02	c   varbound         :        801          9     370686      51951          0          0       5230      15641          0          0
1800.04/1800.02	c   knapsack         :        220          9     370686      36772          0          0      76450          0          0          0
1800.04/1800.02	c   setppc           :          3          9     370686      36772          0          0          0          0          0          0
1800.04/1800.02	c   linear           :       5231          9     370686      36772          0          0      14888      90309          0          0
1800.04/1800.02	c   logicor          :       8702          9     311978      29398          0          0     713899          0          0          0
1800.04/1800.02	c   countsols        :          0          0          0      29398          0          0          0          0          0          0
1800.04/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.02	c   integral         :     224.75       0.00       0.00     224.75       0.00
1800.04/1800.02	c   indicator        :     105.86       0.00      40.89      64.97       0.00
1800.04/1800.02	c   varbound         :       8.24       0.00       5.01       3.23       0.00
1800.04/1800.02	c   knapsack         :       4.05       0.00       3.65       0.40       0.00
1800.04/1800.02	c   setppc           :       0.05       0.00       0.02       0.03       0.00
1800.04/1800.02	c   linear           :      84.52       0.03      30.46      54.03       0.00
1800.04/1800.02	c   logicor          :      16.52       0.00       3.34      13.18       0.00
1800.04/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.02	c   vbounds          :      16.20      83245          0      18275
1800.04/1800.02	c   rootredcost      :       0.01          0          0          0
1800.04/1800.02	c   pseudoobj        :      61.62     359251          0          0
1800.04/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.02	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.02	c   redcost          :      51.79      89084          0          0          0          0
1800.04/1800.02	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.02	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.02	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.02	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.02	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.02	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.02	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.02	c Pricers            :       Time      Calls       Vars
1800.04/1800.02	c   problem variables:       0.00          0          0
1800.04/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.02	c   relpscost        :     224.71      47491          0          0          0          0      94982
1800.04/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   inference        :      65.87      29398          0          0          0          0      58796
1800.04/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.02	c   LP solutions     :       0.00          -          0
1800.04/1800.02	c   pseudo solutions :       0.00          -          0
1800.04/1800.02	c   oneopt           :       0.11          0          0
1800.04/1800.02	c   crossover        :       0.00          0          0
1800.04/1800.02	c   guideddiving     :       0.00          0          0
1800.04/1800.02	c   feaspump         :       1.61          8          0
1800.04/1800.02	c   intshifting      :       0.02         26          0
1800.04/1800.02	c   pscostdiving     :      19.96       1054          0
1800.04/1800.02	c   fracdiving       :      23.37       1054          0
1800.04/1800.02	c   veclendiving     :      14.66       1054          0
1800.04/1800.02	c   coefdiving       :      26.37       1055          0
1800.04/1800.02	c   linesearchdiving :      16.26       1055          0
1800.04/1800.02	c   objpscostdiving  :      10.28       1010          0
1800.04/1800.02	c   rootsoldiving    :      10.56       1010          0
1800.04/1800.02	c   trivial          :       0.74          2          0
1800.04/1800.02	c   simplerounding   :       0.10      47386          0
1800.04/1800.02	c   zirounding       :       1.63       1000          0
1800.04/1800.02	c   rounding         :      10.93       3035          0
1800.04/1800.02	c   shifting         :       6.99        914          0
1800.04/1800.02	c   twoopt           :       0.00          0          0
1800.04/1800.02	c   fixandinfer      :       0.00          0          0
1800.04/1800.02	c   intdiving        :       0.00          0          0
1800.04/1800.02	c   actconsdiving    :       0.00          0          0
1800.04/1800.02	c   octane           :       0.00          0          0
1800.04/1800.02	c   rens             :       0.00          0          0
1800.04/1800.02	c   rins             :       0.00          0          0
1800.04/1800.02	c   localbranching   :       0.00          0          0
1800.04/1800.02	c   mutation         :       0.00          0          0
1800.04/1800.02	c   dins             :       0.00          0          0
1800.04/1800.02	c   undercover       :       0.00          0          0
1800.04/1800.02	c   nlp              :       0.00          0          0
1800.04/1800.02	c   trysol           :      22.87       3429          0
1800.04/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.02	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.02	c   dual LP          :     660.31      71125     538909       7.58     816.15
1800.04/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.02	c   diving/probing LP:      34.53       5266      36148       6.86    1046.86
1800.04/1800.02	c   strong branching :     224.00      14668     130384       8.89     582.07
1800.04/1800.02	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.02	c B&B Tree           :
1800.04/1800.02	c   number of runs   :          1
1800.04/1800.02	c   nodes            :      76889
1800.04/1800.02	c   nodes (total)    :      76889
1800.04/1800.02	c   nodes left       :      76890
1800.04/1800.02	c   max depth        :        137
1800.04/1800.02	c   max depth (total):        137
1800.04/1800.02	c   backtracks       :       1256 (1.6%)
1800.04/1800.02	c   delayed cutoffs  :          0
1800.04/1800.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.02	c   avg switch length:       2.30
1800.04/1800.02	c   switching time   :      26.20
1800.04/1800.02	c Solution           :
1800.04/1800.02	c   Solutions found  :          0 (0 improvements)
1800.04/1800.02	c   Primal Bound     :          -
1800.04/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.02	c   Gap              :   infinite
1800.04/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.02	c   Root Iterations  :       2323
1800.54/1800.51	c Time complete: 1800.54.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692529-1277916966/watcher-2692529-1277916966 -o /tmp/evaluation-result-2692529-1277916966/solver-2692529-1277916966 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692529-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.09 2.02 2.00 3/178 12249
/proc/meminfo: memFree=31014868/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=9304 CPUtime=0
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 1646 0 0 0 0 0 0 0 21 0 1 0 132994151 9527296 1566 4089446400 4194304 8223781 140734727834704 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 2326 1566 369 984 0 1339 0

[startup+0.0418191 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 12249
/proc/meminfo: memFree=31014868/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=18648 CPUtime=0.03
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 3969 0 0 0 3 0 0 0 21 0 1 0 132994151 19095552 3889 4089446400 4194304 8223781 140734727834704 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 4662 3889 369 984 0 3675 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18648

[startup+0.100811 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 12249
/proc/meminfo: memFree=31014868/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=30092 CPUtime=0.09
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 6812 0 0 0 9 0 0 0 21 0 1 0 132994151 30814208 6732 4089446400 4194304 8223781 140734727834704 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 7523 6732 369 984 0 6536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30092

[startup+0.300773 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 12249
/proc/meminfo: memFree=31014868/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=58020 CPUtime=0.29
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 13809 0 0 0 28 1 0 0 21 0 1 0 132994151 59412480 13700 4089446400 4194304 8223781 140734727834704 18446744073709551615 6640480 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 14505 13700 369 984 0 13518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58020

[startup+0.700705 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 12249
/proc/meminfo: memFree=31014868/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=183048 CPUtime=0.69
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 44790 0 0 0 65 4 0 0 22 0 1 0 132994151 187441152 44249 4089446400 4194304 8223781 140734727834704 18446744073709551615 4329675 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 45762 44249 416 984 0 44775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 183048

[startup+1.50057 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 12250
/proc/meminfo: memFree=30829604/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=203040 CPUtime=1.49
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 49063 0 0 0 142 7 0 0 25 0 1 0 132994151 207912960 48522 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 50760 48527 445 984 0 49773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203040

[startup+3.10028 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 12250
/proc/meminfo: memFree=30797116/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=227412 CPUtime=3.09
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 55843 0 0 0 289 20 0 0 25 0 1 0 132994151 232869888 54531 4089446400 4194304 8223781 140734727834704 18446744073709551615 6206490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 56853 54531 449 984 0 55866 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227412

[startup+6.30072 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 12250
/proc/meminfo: memFree=30786080/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=238248 CPUtime=6.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 66073 0 0 0 588 42 0 0 25 0 1 0 132994151 243965952 57209 4089446400 4194304 8223781 140734727834704 18446744073709551615 4615127 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 59562 57209 498 984 0 58575 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 238248

[startup+12.7006 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12250
/proc/meminfo: memFree=30758080/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=262828 CPUtime=12.69
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 134287 0 0 0 1208 61 0 0 25 0 1 0 132994151 269135872 62823 4089446400 4194304 8223781 140734727834704 18446744073709551615 5479176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 65707 62823 566 984 0 64720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 262828

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12251
/proc/meminfo: memFree=30754908/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=264472 CPUtime=25.49
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 397725 0 0 0 2448 101 0 0 25 0 1 0 132994151 270819328 63255 4089446400 4194304 8223781 140734727834704 18446744073709551615 6329622 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 66118 63255 570 984 0 65131 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 264472

[startup+51.1009 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 12252
/proc/meminfo: memFree=30742456/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=268576 CPUtime=51.09
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 909103 0 0 0 4936 173 0 0 25 0 1 0 132994151 275021824 64069 4089446400 4194304 8223781 140734727834704 18446744073709551615 4965284 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 67144 64069 570 984 0 66157 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 268576

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12253
/proc/meminfo: memFree=30725436/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=273132 CPUtime=102.29
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 1882724 0 0 0 9925 304 0 0 25 0 1 0 132994151 279687168 65244 4089446400 4194304 8223781 140734727834704 18446744073709551615 7257300 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 68283 65244 570 984 0 67296 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 273132

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12254
/proc/meminfo: memFree=30696016/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=280996 CPUtime=162.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 2959424 0 0 0 15765 465 0 0 25 0 1 0 132994151 287739904 67228 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 70249 67228 570 984 0 69262 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 280996

[startup+222.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 12256
/proc/meminfo: memFree=30668720/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=292984 CPUtime=222.29
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 3854496 0 0 0 21628 601 0 0 25 0 1 0 132994151 300015616 70244 4089446400 4194304 8223781 140734727834704 18446744073709551615 6445350 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 73246 70244 570 984 0 72259 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292984

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12258
/proc/meminfo: memFree=30633712/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=308328 CPUtime=282.29
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 4571766 0 0 0 27509 720 0 0 25 0 1 0 132994151 315727872 74076 4089446400 4194304 8223781 140734727834704 18446744073709551615 6445297 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 77082 74076 570 984 0 76095 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 308328

[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 12269
/proc/meminfo: memFree=30597700/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=328464 CPUtime=342.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 5166204 0 0 0 33397 833 0 0 25 0 1 0 132994151 336347136 79104 4089446400 4194304 8223781 140734727834704 18446744073709551615 4329416 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 82116 79104 570 984 0 81129 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 328464

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12270
/proc/meminfo: memFree=30559968/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=347700 CPUtime=402.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 5728368 0 0 0 39282 948 0 0 25 0 1 0 132994151 356044800 83937 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 86925 83937 570 984 0 85938 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 347700

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 12271
/proc/meminfo: memFree=30517288/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=368492 CPUtime=462.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 6271728 0 0 0 45180 1050 0 0 25 0 1 0 132994151 377335808 89034 4089446400 4194304 8223781 140734727834704 18446744073709551615 6592218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 92123 89034 572 984 0 91136 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 368492

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12273
/proc/meminfo: memFree=30469024/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=388936 CPUtime=522.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 6934276 0 0 0 51063 1167 0 0 25 0 1 0 132994151 398270464 94116 4089446400 4194304 8223781 140734727834704 18446744073709551615 6514412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 97234 94116 570 984 0 96247 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 388936

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 12275
/proc/meminfo: memFree=30424100/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=409640 CPUtime=582.3
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 7480693 0 0 0 56955 1275 0 0 25 0 1 0 132994151 419471360 99294 4089446400 4194304 8223781 140734727834704 18446744073709551615 6520504 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 102410 99294 570 984 0 101423 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 409640

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 12277
/proc/meminfo: memFree=30384524/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=431044 CPUtime=642.31
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 8023861 0 0 0 62850 1381 0 0 25 0 1 0 132994151 441389056 104635 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 107761 104635 570 984 0 106774 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 431044

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12286
/proc/meminfo: memFree=30087348/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=566968 CPUtime=1002.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 10987582 0 0 0 98219 2013 0 0 25 0 1 0 132994151 580575232 138671 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 141742 138671 570 984 0 140755 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 566968

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12287
/proc/meminfo: memFree=30032260/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=593180 CPUtime=1062.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 11464200 0 0 0 104120 2112 0 0 25 0 1 0 132994151 607416320 145256 4089446400 4194304 8223781 140734727834704 18446744073709551615 7257308 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 148295 145256 583 984 0 147308 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 593180

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12289
/proc/meminfo: memFree=29977172/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=615736 CPUtime=1122.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 11935440 0 0 0 110020 2212 0 0 25 0 1 0 132994151 630513664 150897 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 153934 150897 570 984 0 152947 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 615736

[startup+1182.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 12319
/proc/meminfo: memFree=30453556/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=638084 CPUtime=1182.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 12416106 0 0 0 115918 2314 0 0 25 0 1 0 132994151 653398016 156506 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 159521 156506 579 984 0 158534 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 638084

[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12321
/proc/meminfo: memFree=30426388/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=660932 CPUtime=1242.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 12939391 0 0 0 121807 2425 0 0 25 0 1 0 132994151 676794368 162222 4089446400 4194304 8223781 140734727834704 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 165233 162222 570 984 0 164246 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 660932

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12322
/proc/meminfo: memFree=30396212/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=685428 CPUtime=1302.33
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 13414506 0 0 0 127704 2529 0 0 25 0 1 0 132994151 701878272 168363 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 171357 168363 570 984 0 170370 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 685428

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12323
/proc/meminfo: memFree=30365928/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=711004 CPUtime=1362.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 13862688 0 0 0 133608 2624 0 0 25 0 1 0 132994151 728068096 174752 4089446400 4194304 8223781 140734727834704 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 177751 174752 570 984 0 176764 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 711004

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12325
/proc/meminfo: memFree=30335760/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=737264 CPUtime=1422.33
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 14283729 0 0 0 139511 2722 0 0 25 0 1 0 132994151 754958336 181324 4089446400 4194304 8223781 140734727834704 18446744073709551615 6568187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 184316 181324 581 984 0 183329 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 737264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12327
/proc/meminfo: memFree=30309068/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=759604 CPUtime=1482.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 14735337 0 0 0 145407 2825 0 0 25 0 1 0 132994151 777834496 186887 4089446400 4194304 8223781 140734727834704 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 189901 186887 570 984 0 188914 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 759604

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12329
/proc/meminfo: memFree=30282636/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=780700 CPUtime=1542.32
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 15314664 0 0 0 151292 2940 0 0 25 0 1 0 132994151 799436800 192188 4089446400 4194304 8223781 140734727834704 18446744073709551615 6003622 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 195175 192188 570 984 0 194188 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 780700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12330
/proc/meminfo: memFree=30259788/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=803100 CPUtime=1602.33
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 15908066 0 0 0 157179 3054 0 0 25 0 1 0 132994151 822374400 197302 4089446400 4194304 8223781 140734727834704 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 200775 197302 570 984 0 199788 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 803100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12331
/proc/meminfo: memFree=30231724/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=825596 CPUtime=1662.33
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 16418094 0 0 0 163071 3162 0 0 25 0 1 0 132994151 845410304 202930 4089446400 4194304 8223781 140734727834704 18446744073709551615 6599068 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 206399 202930 570 984 0 205412 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 825596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12333
/proc/meminfo: memFree=30207140/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=845496 CPUtime=1722.33
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 16989199 0 0 0 168961 3272 0 0 25 0 1 0 132994151 865787904 207915 4089446400 4194304 8223781 140734727834704 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 211374 207915 570 984 0 210387 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 845496

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12335
/proc/meminfo: memFree=30183420/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=866508 CPUtime=1782.34
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 17459458 0 0 0 174866 3368 0 0 25 0 1 0 132994151 887304192 213167 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 216627 213167 572 984 0 215640 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 866508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12335
/proc/meminfo: memFree=30175232/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=873264 CPUtime=1800.04
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 17598726 0 0 0 176607 3397 0 0 25 0 1 0 132994151 894222336 214872 4089446400 4194304 8223781 140734727834704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12249/statm: 218316 214872 570 984 0 217329 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 873264

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.04 2.01 2.00 3/179 12335
/proc/meminfo: memFree=30175232/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=373860 CPUtime=1800.23
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 17598978 0 0 0 176625 3398 0 0 18 0 1 0 132994151 382832640 90123 4089446400 4194304 8223781 140734727834704 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 93465 90123 575 984 0 92478 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 373860

[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12335
/proc/meminfo: memFree=30175232/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=357084 CPUtime=1800.44
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 17598978 0 0 0 176645 3399 0 0 18 0 1 0 132994151 365654016 85949 4089446400 4194304 8223781 140734727834704 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 89271 85949 575 984 0 88284 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 357084

[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12335
/proc/meminfo: memFree=30175232/32951124 swapFree=67111528/67111528
[pid=12249] ppid=12247 vsize=91124 CPUtime=1800.54
/proc/12249/stat : 12249 (pbscip.linux.x8) R 12247 12249 11701 0 -1 4202496 17598978 0 0 0 176654 3400 0 0 18 0 1 0 132994151 93310976 21816 4089446400 4194304 8223781 140734727834704 18446744073709551615 4700009 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12249/statm: 22781 21816 575 984 0 21794 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 91124

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.55
system time used= 34.0058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17598988
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= 4
involuntary context switches= 1372

runsolver used 2.6076 second user time and 5.77012 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 18:56:06
IDJOB=2692529
IDBENCH=79082
IDSOLVER=1204
FILE ID=node107/2692529-1277916966
PBS_JOBID= 11197316
Free space on /tmp= 74204 MiB

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

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

MD5SUM BENCH= 6fbf16c6c6628a8e757beb1e2cb2761c
RANDOM SEED=113978716

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31015396 kB
Buffers:        199348 kB
Cached:        1279788 kB
SwapCached:          0 kB
Active:         679464 kB
Inactive:      1109540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31015396 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6060 kB
Writeback:           0 kB
AnonPages:      309448 kB
Mapped:          17808 kB
Slab:            79944 kB
PageTables:       5740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   465644 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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