Trace number 2693646

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1800.57 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
MD5SUM2dda6fbf8d261259c880dca3531a1919
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.32765
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints8453
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 425712
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 425711
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693646-1277914041.wbo>
0.09/0.13	c original problem has 21528 variables (13075 bin, 0 int, 0 impl, 8453 cont) and 21023 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.09/0.13	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.24	c presolving:
0.19/0.28	c (round 1) 30 del vars, 8 del conss, 2 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 18790 impls, 0 clqs
0.19/0.29	c (round 2) 31 del vars, 63 del conss, 2 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 18790 impls, 0 clqs
0.29/0.32	c (round 3) 33 del vars, 65 del conss, 8453 chg bounds, 408 chg sides, 818 chg coeffs, 0 upgd conss, 18790 impls, 0 clqs
0.29/0.37	c (round 4) 34 del vars, 65 del conss, 8453 chg bounds, 408 chg sides, 818 chg coeffs, 4058 upgd conss, 18790 impls, 0 clqs
0.49/0.56	c    (0.4s) probing: 101/13043 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.57	c presolving (5 rounds):
0.49/0.57	c  34 deleted vars, 65 deleted constraints, 8453 tightened bounds, 0 added holes, 408 changed sides, 818 changed coefficients
0.49/0.57	c  18792 implications, 0 cliques
0.49/0.57	c presolved problem has 21494 variables (13043 bin, 0 int, 0 impl, 8451 cont) and 20958 constraints
0.49/0.57	c    8451 constraints of type <indicator>
0.49/0.57	c       2 constraints of type <varbound>
0.49/0.57	c     270 constraints of type <knapsack>
0.49/0.57	c    8449 constraints of type <linear>
0.49/0.57	c    3786 constraints of type <logicor>
0.49/0.57	c transformed objective value is always integral (scale: 1)
0.49/0.57	c Presolving Time: 0.35
0.49/0.57	c - non default parameters ----------------------------------------------------------------------
0.49/0.57	c # SCIP version 1.2.1.2
0.49/0.57	c 
0.49/0.57	c # frequency for displaying node information lines
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.57	c display/freq = 10000
0.49/0.57	c 
0.49/0.57	c # maximal time in seconds to run
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/time = 1799.87
0.49/0.57	c 
0.49/0.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.57	c limits/memory = 3420
0.49/0.57	c 
0.49/0.57	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.57	c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.57	c lp/solvefreq = -1
0.49/0.57	c 
0.49/0.57	c # should presolving try to simplify inequalities
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c constraints/linear/simplifyinequalities = TRUE
0.49/0.57	c 
0.49/0.57	c # should presolving try to simplify knapsacks
0.49/0.57	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.57	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.57	c 
0.49/0.57	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.57	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.57	c separating/rapidlearning/freq = 0
0.49/0.57	c 
0.49/0.57	c -----------------------------------------------------------------------------------------------
0.49/0.57	c start solving
0.49/0.57	c 
0.59/0.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.61	c   0.4s|     1 |     2 |     0 |     - |  65M|   0 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
49.69/49.78	c  49.4s| 10000 | 10001 |     0 |   0.0 |  74M|  71 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
104.09/104.13	c   104s| 20000 | 20001 |     0 |   0.0 |  83M|  77 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
158.40/158.48	c   158s| 30000 | 30001 |     0 |   0.0 |  90M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
212.79/212.87	c   212s| 40000 | 40001 |     0 |   0.0 |  98M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
267.00/267.08	c   266s| 50000 | 50001 |     0 |   0.0 | 106M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
320.90/320.97	c   320s| 60000 | 60001 |     0 |   0.0 | 113M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
374.50/374.52	c   373s| 70000 | 70001 |     0 |   0.0 | 120M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
427.80/427.89	c   426s| 80000 | 80001 |     0 |   0.0 | 127M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
481.00/481.03	c   479s| 90000 | 90001 |     0 |   0.0 | 134M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
534.40/534.42	c   532s|100000 |100001 |     0 |   0.0 | 141M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
588.40/588.47	c   586s|110000 |110001 |     0 |   0.0 | 148M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
642.42/642.43	c   640s|120000 |120001 |     0 |   0.0 | 156M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
696.42/696.47	c   694s|130000 |130001 |     0 |   0.0 | 163M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
750.52/750.59	c   748s|140000 |140001 |     0 |   0.0 | 170M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
804.42/804.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
804.42/804.49	c   802s|150000 |150001 |     0 |   0.0 | 177M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
858.52/858.57	c   856s|160000 |160001 |     0 |   0.0 | 185M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
912.62/912.61	c   909s|170000 |170001 |     0 |   0.0 | 192M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
966.72/966.71	c   963s|180000 |180001 |     0 |   0.0 | 199M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1020.52/1020.58	c  1017s|190000 |190001 |     0 |   0.0 | 206M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1074.42/1074.47	c  1071s|200000 |200001 |     0 |   0.0 | 212M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1128.23/1128.28	c  1124s|210000 |210001 |     0 |   0.0 | 219M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1182.03/1182.02	c  1178s|220000 |220001 |     0 |   0.0 | 226M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1235.93/1235.97	c  1232s|230000 |230001 |     0 |   0.0 | 233M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1289.53/1289.56	c  1285s|240000 |240001 |     0 |   0.0 | 240M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1343.33/1343.34	c  1339s|250000 |250001 |     0 |   0.0 | 247M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1400.24/1400.21	c  1395s|260000 |260001 |     0 |   0.0 | 254M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1473.94/1473.99	c  1468s|270000 |270001 |     0 |   0.0 | 260M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1548.74/1548.74	c  1543s|280000 |280001 |     0 |   0.0 | 267M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1623.44/1623.47	c  1617s|290000 |290001 |     0 |   0.0 | 274M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1699.04/1699.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1699.04/1699.08	c  1692s|300000 |300001 |     0 |   0.0 | 281M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1775.34/1775.31	c  1768s|310000 |310001 |     0 |   0.0 | 287M|  87 |   - |  21k|  20k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1792.05
1800.05/1800.01	c Solving Nodes      : 313228
1800.05/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.01	s UNKNOWN
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time       :    1792.05
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693646-1277914041.wbo
1800.05/1800.01	c   Variables        : 21528 (13075 binary, 0 integer, 0 implicit integer, 8453 continuous)
1800.05/1800.01	c   Constraints      : 21023 initial, 21023 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693646-1277914041.wbo
1800.05/1800.01	c   Variables        : 21494 (13043 binary, 0 integer, 0 implicit integer, 8451 continuous)
1800.05/1800.01	c   Constraints      : 20958 initial, 20958 maximal
1800.05/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.01	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.01	c   dualfix          :       0.00          4          0          0          0          0          0          0          0
1800.05/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   implics          :       0.00          0         26          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       0.16          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.00          0          0          0          0          0          2          0          0
1800.05/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.01	c   linear           :       0.11          2          2          0       8453          0         63        408        818
1800.05/1800.01	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       8451          0     933929          0     313231          0      43371          0          0          0
1800.05/1800.01	c   varbound         :          2          0     933929          0     313230          0          0          0          0          0
1800.05/1800.01	c   knapsack         :        270          0     933929          0     313230          0         23          0          0          0
1800.05/1800.01	c   linear           :       8449          0     933929          0     313230          0      43371          0          0          0
1800.05/1800.01	c   logicor          :       3786          0     695220          0     313230          0    1715729          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0          0     313228          0          0          0          0          0
1800.05/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.01	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.01	c   indicator        :     490.51       0.00     153.36       0.00     337.15
1800.05/1800.01	c   varbound         :       0.85       0.00       0.44       0.00       0.41
1800.05/1800.01	c   knapsack         :       8.85       0.00       6.99       0.00       1.86
1800.05/1800.01	c   linear           :     157.35       0.00     156.32       0.00       1.03
1800.05/1800.01	c   logicor          :     240.38       0.00       8.54       0.00     231.84
1800.05/1800.01	c   countsols        :       0.11       0.00       0.00       0.00       0.11
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       0.34       1432          0          0
1800.05/1800.01	c   rootredcost      :       0.50          0          0          0
1800.05/1800.01	c   pseudoobj        :     250.50     933729          0          0
1800.05/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.01	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.01	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.01	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.01	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.01	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.01	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.01	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.01	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.01	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.01	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.01	c Pricers            :       Time      Calls       Vars
1800.05/1800.01	c   problem variables:       0.00          0          0
1800.05/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.01	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   inference        :     613.43     313228          0          0          0          0     626456
1800.05/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.01	c   LP solutions     :       0.00          -          0
1800.05/1800.01	c   pseudo solutions :       0.00          -          0
1800.05/1800.01	c   oneopt           :       0.11          0          0
1800.05/1800.01	c   trivial          :       0.04          2          0
1800.05/1800.01	c   simplerounding   :       0.00          0          0
1800.05/1800.01	c   zirounding       :       0.00          0          0
1800.05/1800.01	c   rounding         :       0.00          0          0
1800.05/1800.01	c   shifting         :       0.00          0          0
1800.05/1800.01	c   intshifting      :       0.00          0          0
1800.05/1800.01	c   twoopt           :       0.00          0          0
1800.05/1800.01	c   fixandinfer      :       0.00          0          0
1800.05/1800.01	c   feaspump         :       0.00          0          0
1800.05/1800.01	c   coefdiving       :       0.00          0          0
1800.05/1800.01	c   pscostdiving     :       0.00          0          0
1800.05/1800.01	c   fracdiving       :       0.00          0          0
1800.05/1800.01	c   veclendiving     :       0.00          0          0
1800.05/1800.01	c   intdiving        :       0.00          0          0
1800.05/1800.01	c   actconsdiving    :       0.00          0          0
1800.05/1800.01	c   objpscostdiving  :       0.00          0          0
1800.05/1800.01	c   rootsoldiving    :       0.00          0          0
1800.05/1800.01	c   linesearchdiving :       0.00          0          0
1800.05/1800.01	c   guideddiving     :       0.00          0          0
1800.05/1800.01	c   octane           :       0.00          0          0
1800.05/1800.01	c   rens             :       0.00          0          0
1800.05/1800.01	c   rins             :       0.00          0          0
1800.05/1800.01	c   localbranching   :       0.00          0          0
1800.05/1800.01	c   mutation         :       0.00          0          0
1800.05/1800.01	c   crossover        :       0.00          0          0
1800.05/1800.01	c   dins             :       0.00          0          0
1800.05/1800.01	c   undercover       :       0.00          0          0
1800.05/1800.01	c   nlp              :       0.31          0          0
1800.05/1800.01	c   trysol           :       0.09          1          0
1800.05/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.01	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.01	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.01	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.01	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.01	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.01	c B&B Tree           :
1800.05/1800.01	c   number of runs   :          1
1800.05/1800.01	c   nodes            :     313228
1800.05/1800.01	c   nodes (total)    :     313228
1800.05/1800.01	c   nodes left       :     313229
1800.05/1800.01	c   max depth        :         87
1800.05/1800.01	c   max depth (total):         87
1800.05/1800.01	c   backtracks       :       6455 (2.1%)
1800.05/1800.01	c   delayed cutoffs  :          0
1800.05/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01	c   avg switch length:       2.60
1800.05/1800.01	c   switching time   :      14.68
1800.05/1800.01	c Solution           :
1800.05/1800.01	c   Solutions found  :          0 (0 improvements)
1800.05/1800.01	c   Primal Bound     :          -
1800.05/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.01	c   Gap              :   infinite
1800.05/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.01	c   Root Iterations  :          0
1800.54/1800.51	c Time complete: 1800.55.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693646-1277914041/watcher-2693646-1277914041 -o /tmp/evaluation-result-2693646-1277914041/solver-2693646-1277914041 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693646-1277914041.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.15 2.28 2.36 4/178 11578
/proc/meminfo: memFree=30307020/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=8316 CPUtime=0
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 1564 0 0 0 0 0 0 0 25 0 1 0 132701429 8515584 1486 4089446400 4194304 7136930 140734789698848 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11578/statm: 2079 1487 275 719 0 1358 0

[startup+0.102759 s]
/proc/loadavg: 2.15 2.28 2.36 4/178 11578
/proc/meminfo: memFree=30307020/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=31604 CPUtime=0.09
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 7382 0 0 0 9 0 0 0 25 0 1 0 132701429 32362496 7304 4089446400 4194304 7136930 140734789698848 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11578/statm: 7901 7304 275 719 0 7180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31604

[startup+0.200741 s]
/proc/loadavg: 2.15 2.28 2.36 4/178 11578
/proc/meminfo: memFree=30307020/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=78092 CPUtime=0.19
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 19359 0 0 0 17 2 0 0 25 0 1 0 132701429 79966208 18891 4089446400 4194304 7136930 140734789698848 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11578/statm: 19523 18892 306 719 0 18802 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 78092

[startup+0.30072 s]
/proc/loadavg: 2.15 2.28 2.36 4/178 11578
/proc/meminfo: memFree=30307020/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=88352 CPUtime=0.29
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 21927 0 0 0 26 3 0 0 25 0 1 0 132701429 90472448 20945 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11578/statm: 22088 20945 352 719 0 21367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88352

[startup+0.70066 s]
/proc/loadavg: 2.15 2.28 2.36 4/178 11578
/proc/meminfo: memFree=30307020/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=96732 CPUtime=0.69
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 26484 0 0 0 65 4 0 0 18 0 1 0 132701429 99053568 22930 4089446400 4194304 7136930 140734789698848 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11578/statm: 24183 22930 409 719 0 23462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96732

[startup+1.5005 s]
/proc/loadavg: 2.14 2.28 2.36 3/179 11579
/proc/meminfo: memFree=30216368/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=96732 CPUtime=1.49
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 26487 0 0 0 144 5 0 0 19 0 1 0 132701429 99053568 22930 4089446400 4194304 7136930 140734789698848 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 24183 22930 406 719 0 23462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96732

[startup+3.1002 s]
/proc/loadavg: 2.14 2.28 2.36 3/179 11579
/proc/meminfo: memFree=30215500/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=96872 CPUtime=3.09
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 26536 0 0 0 304 5 0 0 22 0 1 0 132701429 99196928 22979 4089446400 4194304 7136930 140734789698848 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 24218 22979 406 719 0 23497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96872

[startup+6.30063 s]
/proc/loadavg: 2.14 2.28 2.36 3/179 11579
/proc/meminfo: memFree=30214880/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=97744 CPUtime=6.29
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 26732 0 0 0 622 7 0 0 25 0 1 0 132701429 100089856 23175 4089446400 4194304 7136930 140734789698848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 24436 23175 406 719 0 23715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97744

[startup+12.7004 s]
/proc/loadavg: 2.12 2.27 2.36 3/179 11579
/proc/meminfo: memFree=30212272/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=98796 CPUtime=12.69
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 27006 0 0 0 1259 10 0 0 25 0 1 0 132701429 101167104 23449 4089446400 4194304 7136930 140734789698848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 24699 23449 406 719 0 23978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98796

[startup+25.5011 s]
/proc/loadavg: 2.10 2.26 2.35 3/179 11580
/proc/meminfo: memFree=30204636/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=101740 CPUtime=25.49
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 27742 0 0 0 2534 15 0 0 25 0 1 0 132701429 104181760 24185 4089446400 4194304 7136930 140734789698848 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 25435 24185 406 719 0 24714 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101740

[startup+51.1003 s]
/proc/loadavg: 2.06 2.24 2.34 3/179 11581
/proc/meminfo: memFree=30204788/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=106912 CPUtime=51.09
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 29063 0 0 0 5084 25 0 0 25 0 1 0 132701429 109477888 25506 4089446400 4194304 7136930 140734789698848 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 26728 25506 406 719 0 26007 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 106912

[startup+102.301 s]
/proc/loadavg: 2.02 2.19 2.32 3/179 11582
/proc/meminfo: memFree=30189388/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=116812 CPUtime=102.29
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 31551 0 0 0 10188 41 0 0 25 0 1 0 132701429 119615488 27994 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 29203 27994 406 719 0 28482 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 116812

[startup+162.301 s]
/proc/loadavg: 2.01 2.16 2.30 3/179 11583
/proc/meminfo: memFree=30176460/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=126440 CPUtime=162.29
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 34023 0 0 0 16166 63 0 0 25 0 1 0 132701429 129474560 30466 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 31610 30466 406 719 0 30889 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 126440

[startup+222.307 s]
/proc/loadavg: 2.00 2.12 2.27 3/179 11585
/proc/meminfo: memFree=30160928/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=135772 CPUtime=222.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 36383 0 0 0 22146 84 0 0 25 0 1 0 132701429 139030528 32826 4089446400 4194304 7136930 140734789698848 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 33943 32826 406 719 0 33222 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 135772

[startup+282.301 s]
/proc/loadavg: 2.05 2.11 2.26 3/179 11587
/proc/meminfo: memFree=30156552/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=143008 CPUtime=282.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 38255 0 0 0 28127 103 0 0 25 0 1 0 132701429 146440192 34698 4089446400 4194304 7136930 140734789698848 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 35752 34698 406 719 0 35031 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143008

[startup+342.3 s]
/proc/loadavg: 2.02 2.09 2.24 3/179 11588
/proc/meminfo: memFree=30152672/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=153716 CPUtime=342.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 40973 0 0 0 34108 122 0 0 25 0 1 0 132701429 157405184 37416 4089446400 4194304 7136930 140734789698848 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 38429 37416 406 719 0 37708 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 153716

[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.23 3/179 11590
/proc/meminfo: memFree=30141976/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=163364 CPUtime=402.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 42887 0 0 0 40090 140 0 0 25 0 1 0 132701429 167284736 39330 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 40841 39330 406 719 0 40120 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 163364

[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.21 3/179 11591
/proc/meminfo: memFree=30139580/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=170740 CPUtime=462.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 44807 0 0 0 46069 161 0 0 25 0 1 0 132701429 174837760 41250 4089446400 4194304 7136930 140734789698848 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 42685 41250 406 719 0 41964 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 170740

[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.20 3/179 11593
/proc/meminfo: memFree=30126532/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=176904 CPUtime=522.31
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 46360 0 0 0 52048 183 0 0 25 0 1 0 132701429 181149696 42803 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 44226 42803 406 719 0 43505 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 176904

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.18 3/179 11595
/proc/meminfo: memFree=30111864/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=186092 CPUtime=582.3
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 48708 0 0 0 58025 205 0 0 25 0 1 0 132701429 190558208 45151 4089446400 4194304 7136930 140734789698848 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 46523 45151 406 719 0 45802 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 186092

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.17 3/179 11596
/proc/meminfo: memFree=30102048/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=195236 CPUtime=642.31
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 51031 0 0 0 64006 225 0 0 25 0 1 0 132701429 199921664 47474 4089446400 4194304 7136930 140734789698848 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 48809 47474 406 719 0 48088 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 195236

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 11604
/proc/meminfo: memFree=30054252/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=233724 CPUtime=942.32
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 60894 0 0 0 93903 329 0 0 25 0 1 0 132701429 239333376 57337 4089446400 4194304 7136930 140734789698848 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 58431 57337 406 719 0 57710 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 233724

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 11606
/proc/meminfo: memFree=30048516/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=244032 CPUtime=1002.32
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 63514 0 0 0 99882 350 0 0 25 0 1 0 132701429 249888768 59957 4089446400 4194304 7136930 140734789698848 18446744073709551615 4827005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 61008 59957 406 719 0 60287 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 244032

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 11607
/proc/meminfo: memFree=30035336/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=254828 CPUtime=1062.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 65202 0 0 0 105863 370 0 0 25 0 1 0 132701429 260943872 61645 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 63707 61645 406 719 0 62986 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 254828

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 11609
/proc/meminfo: memFree=30026248/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=263948 CPUtime=1122.32
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 67522 0 0 0 111842 390 0 0 25 0 1 0 132701429 270282752 63965 4089446400 4194304 7136930 140734789698848 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 65987 63965 406 719 0 65266 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 263948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 11611
/proc/meminfo: memFree=30018772/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=270824 CPUtime=1182.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 69293 0 0 0 117823 410 0 0 25 0 1 0 132701429 277323776 65736 4089446400 4194304 7136930 140734789698848 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 67706 65736 406 719 0 66985 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 270824

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 11612
/proc/meminfo: memFree=30002140/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=277748 CPUtime=1242.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 71067 0 0 0 123804 429 0 0 25 0 1 0 132701429 284413952 67510 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 69437 67510 406 719 0 68716 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 277748

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 11614
/proc/meminfo: memFree=29996520/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=285532 CPUtime=1302.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 73081 0 0 0 129782 451 0 0 25 0 1 0 132701429 292384768 69524 4089446400 4194304 7136930 140734789698848 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 71383 69524 406 719 0 70662 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 285532

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.06 3/179 11615
/proc/meminfo: memFree=29989796/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=294348 CPUtime=1362.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 75327 0 0 0 135762 471 0 0 25 0 1 0 132701429 301412352 71770 4089446400 4194304 7136930 140734789698848 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11578/statm: 73587 71770 406 719 0 72866 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 294348

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.06 3/179 11691
/proc/meminfo: memFree=30350716/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=298600 CPUtime=1422.34
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 76426 0 0 0 141730 504 0 0 25 0 1 0 132701429 305766400 72869 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 74650 72869 406 719 0 73929 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 298600

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11696
/proc/meminfo: memFree=30344052/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=303428 CPUtime=1482.33
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 77665 0 0 0 147687 546 0 0 25 0 1 0 132701429 310710272 74108 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 75857 74108 406 719 0 75136 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 303428

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11697
/proc/meminfo: memFree=30321568/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=308712 CPUtime=1542.34
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 79017 0 0 0 153645 589 0 0 25 0 1 0 132701429 316121088 75460 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 77178 75460 406 719 0 76457 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 308712

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11699
/proc/meminfo: memFree=30301828/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=312704 CPUtime=1602.34
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 80046 0 0 0 159599 635 0 0 25 0 1 0 132701429 320208896 76489 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 78176 76489 406 719 0 77455 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 312704

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11700
/proc/meminfo: memFree=30274256/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=318560 CPUtime=1662.34
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 81541 0 0 0 165554 680 0 0 25 0 1 0 132701429 326205440 77984 4089446400 4194304 7136930 140734789698848 18446744073709551615 4643166 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 79640 77984 406 719 0 78919 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 318560

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.03 3/179 11702
/proc/meminfo: memFree=30237752/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=324840 CPUtime=1722.35
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 83140 0 0 0 171510 725 0 0 25 0 1 0 132701429 332636160 79583 4089446400 4194304 7136930 140734789698848 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 81210 79583 406 719 0 80489 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 324840

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/179 11704
/proc/meminfo: memFree=30195432/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=331704 CPUtime=1782.34
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 84887 0 0 0 177459 775 0 0 25 0 1 0 132701429 339664896 81330 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 82926 81330 406 719 0 82205 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 331704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 11704
/proc/meminfo: memFree=30181644/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=333120 CPUtime=1800.05
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 85248 0 0 0 179215 790 0 0 25 0 1 0 132701429 341114880 81691 4089446400 4194304 7136930 140734789698848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11578/statm: 83280 81691 406 719 0 82559 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 333120

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

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 11704
/proc/meminfo: memFree=30181644/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=319244 CPUtime=1800.35
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 85255 0 0 0 179245 790 0 0 25 0 1 0 132701429 326905856 78229 4089446400 4194304 7136930 140734789698848 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11578/statm: 79811 78229 413 719 0 79090 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 319244

[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 11704
/proc/meminfo: memFree=30181644/32951124 swapFree=67111528/67111528
[pid=11578] ppid=11576 vsize=43696 CPUtime=1800.54
/proc/11578/stat : 11578 (pbscip.linux.x8) R 11576 11578 11289 0 -1 4202496 85255 0 0 0 179263 791 0 0 25 0 1 0 132701429 44744704 10296 4089446400 4194304 7136930 140734789698848 18446744073709551615 4698889 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11578/statm: 10924 10296 413 719 0 10203 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 43696

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.57
CPU user time (s): 1792.65
CPU system time (s): 7.9188
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 333120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.65
system time used= 7.9188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85262
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= 2
involuntary context switches= 2932

runsolver used 3.03954 second user time and 6.71898 second system time

The end

Launcher Data 

Begin job on node105 at 2010-06-30 18:07:21
IDJOB=2693646
IDBENCH=79025
IDSOLVER=1206
FILE ID=node105/2693646-1277914041
PBS_JOBID= 11197291
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693646-1277914041/watcher-2693646-1277914041 -o /tmp/evaluation-result-2693646-1277914041/solver-2693646-1277914041 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693646-1277914041.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2dda6fbf8d261259c880dca3531a1919
RANDOM SEED=1329428757

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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.840
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.840
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.94
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.840
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.70
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.840
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.840
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:      30307548 kB
Buffers:        199672 kB
Cached:        1823352 kB
SwapCached:          0 kB
Active:         959440 kB
Inactive:      1540684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30307548 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3544 kB
Writeback:           0 kB
AnonPages:      477536 kB
Mapped:          17412 kB
Slab:            80596 kB
PageTables:       5364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   668008 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= 74204 MiB
End job on node105 at 2010-06-30 18:37:23