Trace number 2693614

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.39 1800.34

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-dlx1c.ucl--soft-33-100-0.wbo
MD5SUM835b153aeac9652072cec4414ff34af5
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 benchmark0.142977
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6392
Total number of constraints18058
Number of soft constraints12226
Number of constraints which are clauses17278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints780
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 617866
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 617865
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-2693614-1277913156.wbo>
0.19/0.20	c original problem has 30844 variables (18618 bin, 0 int, 0 impl, 12226 cont) and 30285 constraints
0.19/0.20	c problem read
0.19/0.20	c presolving settings loaded
0.19/0.20	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.29/0.39	c presolving:
0.39/0.46	c (round 1) 33 del vars, 3 del conss, 0 chg bounds, 390 chg sides, 780 chg coeffs, 0 upgd conss, 30446 impls, 0 clqs
0.39/0.47	c (round 2) 34 del vars, 68 del conss, 0 chg bounds, 390 chg sides, 780 chg coeffs, 0 upgd conss, 30446 impls, 0 clqs
0.49/0.51	c (round 3) 35 del vars, 68 del conss, 12225 chg bounds, 390 chg sides, 780 chg coeffs, 0 upgd conss, 30446 impls, 0 clqs
0.59/0.60	c (round 4) 35 del vars, 68 del conss, 12225 chg bounds, 390 chg sides, 780 chg coeffs, 5768 upgd conss, 30446 impls, 0 clqs
1.10/1.17	c    (0.9s) probing: 148/18584 (0.8%) - 0 fixings, 1 aggregations, 9 implications, 0 bound changes
1.10/1.17	c    (0.9s) probing aborted: 100/100 successive totally useless probings
1.10/1.18	c presolving (5 rounds):
1.10/1.18	c  36 deleted vars, 68 deleted constraints, 12225 tightened bounds, 0 added holes, 390 changed sides, 780 changed coefficients
1.10/1.18	c  30561 implications, 0 cliques
1.10/1.18	c presolved problem has 30808 variables (18583 bin, 0 int, 0 impl, 12225 cont) and 30217 constraints
1.10/1.18	c   12225 constraints of type <indicator>
1.10/1.18	c       1 constraints of type <varbound>
1.10/1.18	c     253 constraints of type <knapsack>
1.10/1.18	c   12224 constraints of type <linear>
1.10/1.18	c    5514 constraints of type <logicor>
1.10/1.18	c transformed objective value is always integral (scale: 1)
1.10/1.18	c Presolving Time: 0.84
1.10/1.18	c - non default parameters ----------------------------------------------------------------------
1.10/1.18	c # SCIP version 1.2.1.2
1.10/1.18	c 
1.10/1.18	c # frequency for displaying node information lines
1.10/1.18	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.18	c display/freq = 10000
1.10/1.18	c 
1.10/1.18	c # maximal time in seconds to run
1.10/1.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18	c limits/time = 1799.81
1.10/1.18	c 
1.10/1.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18	c limits/memory = 3420
1.10/1.18	c 
1.10/1.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.18	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18	c lp/solvefreq = -1
1.10/1.18	c 
1.10/1.18	c # should presolving try to simplify inequalities
1.10/1.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18	c constraints/linear/simplifyinequalities = TRUE
1.10/1.18	c 
1.10/1.18	c # should presolving try to simplify knapsacks
1.10/1.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.18	c 
1.10/1.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.18	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18	c separating/rapidlearning/freq = 0
1.10/1.18	c 
1.10/1.18	c -----------------------------------------------------------------------------------------------
1.10/1.18	c start solving
1.10/1.19	c 
1.19/1.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.26	c   1.0s|     1 |     2 |     0 |     - |  94M|   0 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
99.40/99.46	c  99.0s| 10000 | 10001 |     0 |   0.0 | 102M|  95 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
207.90/207.95	c   207s| 20000 | 20001 |     0 |   0.0 | 111M|  95 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
315.00/315.00	c   314s| 30000 | 30001 |     0 |   0.0 | 118M|  95 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
422.61/422.65	c   421s| 40000 | 40001 |     0 |   0.0 | 126M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
527.60/527.65	c   526s| 50000 | 50001 |     0 |   0.0 | 134M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
625.61/625.68	c   624s| 60000 | 60001 |     0 |   0.0 | 141M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
723.82/723.86	c   722s| 70000 | 70001 |     0 |   0.0 | 149M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
822.61/822.61	c   820s| 80000 | 80001 |     0 |   0.0 | 157M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
920.91/920.94	c   919s| 90000 | 90001 |     0 |   0.0 | 164M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1018.92/1018.95	c  1016s|100000 |100001 |     0 |   0.0 | 171M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1117.32/1117.33	c  1114s|110000 |110001 |     0 |   0.0 | 179M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1214.82/1214.82	c  1212s|120000 |120001 |     0 |   0.0 | 186M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1313.13/1313.18	c  1310s|130000 |130001 |     0 |   0.0 | 194M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1411.63/1411.60	c  1408s|140000 |140001 |     0 |   0.0 | 201M|  97 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1510.43/1510.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1510.43/1510.47	c  1507s|150000 |150001 |     0 |   0.0 | 209M|  99 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1611.24/1611.23	c  1607s|160000 |160001 |     0 |   0.0 | 216M| 143 |   - |  30k|  30k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1712.34/1712.31	c  1708s|170000 |170001 |     0 |   0.0 | 223M| 143 |   - |  30k|  30k|   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) : 1795.42
1800.05/1800.01	c Solving Nodes      : 178683
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       :    1795.42
1800.05/1800.01	c Original Problem   :
1800.05/1800.01	c   Problem name     : HOME/instance-2693614-1277913156.wbo
1800.05/1800.01	c   Variables        : 30844 (18618 binary, 0 integer, 0 implicit integer, 12226 continuous)
1800.05/1800.01	c   Constraints      : 30285 initial, 30285 maximal
1800.05/1800.01	c Presolved Problem  :
1800.05/1800.01	c   Problem name     : t_HOME/instance-2693614-1277913156.wbo
1800.05/1800.01	c   Variables        : 30808 (18583 binary, 0 integer, 0 implicit integer, 12225 continuous)
1800.05/1800.01	c   Constraints      : 30217 initial, 30217 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          2          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.01          0         32          0          0          0          0          0          0
1800.05/1800.01	c   probing          :       0.54          0          1          0          0          0          0          0          0
1800.05/1800.01	c   indicator        :       0.00          0          0          0          0          0          1          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.17          0          1          0      12225          0         67        390        780
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        :      12225          0     633962          0     178685          0      15629          0          0          0
1800.05/1800.01	c   varbound         :          1          0     633962          0     178685          0          0          0          0          0
1800.05/1800.01	c   knapsack         :        253          0     633962          0     178685          0          3          0          0          0
1800.05/1800.01	c   linear           :      12224          0     633962          0     178685          0      15614          0          0          0
1800.05/1800.01	c   logicor          :       5514          0     517586          0     178685          0    1121100          0          0          0
1800.05/1800.01	c   countsols        :          0          0          0          0     178683          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        :     513.38       0.00     192.94       0.00     320.44
1800.05/1800.01	c   varbound         :       0.77       0.00       0.54       0.00       0.23
1800.05/1800.01	c   knapsack         :       6.55       0.00       5.98       0.00       0.57
1800.05/1800.01	c   linear           :     193.69       0.00     193.20       0.00       0.49
1800.05/1800.01	c   logicor          :     212.99       0.00       7.31       0.00     205.68
1800.05/1800.01	c   countsols        :       0.06       0.00       0.00       0.00       0.06
1800.05/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.01	c   vbounds          :       0.40       1937          0         15
1800.05/1800.01	c   rootredcost      :       0.40          0          0          0
1800.05/1800.01	c   pseudoobj        :     334.81     633660          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        :     512.45     178683          0          0          0          0     357366
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.04          0          0
1800.05/1800.01	c   trivial          :       0.08          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.23          0          0
1800.05/1800.01	c   trysol           :       0.08          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            :     178683
1800.05/1800.01	c   nodes (total)    :     178683
1800.05/1800.01	c   nodes left       :     178684
1800.05/1800.01	c   max depth        :        143
1800.05/1800.01	c   max depth (total):        143
1800.05/1800.01	c   backtracks       :       3166 (1.8%)
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.47
1800.05/1800.01	c   switching time   :       8.24
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.34/1800.33	c Time complete: 1800.38.

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-2693614-1277913156/watcher-2693614-1277913156 -o /tmp/evaluation-result-2693614-1277913156/solver-2693614-1277913156 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693614-1277913156.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: 1.85 1.95 1.98 4/178 16742
/proc/meminfo: memFree=30892452/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=8144 CPUtime=0
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 1541 0 0 0 0 0 0 0 24 0 1 0 132611522 8339456 1464 4089446400 4194304 7136930 140735049593264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16742/statm: 2036 1465 275 719 0 1315 0

[startup+0.0597719 s]
/proc/loadavg: 1.85 1.95 1.98 4/178 16742
/proc/meminfo: memFree=30892452/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=22252 CPUtime=0.05
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 5043 0 0 0 5 0 0 0 24 0 1 0 132611522 22786048 4966 4089446400 4194304 7136930 140735049593264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16742/statm: 5563 4992 275 719 0 4842 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22252

[startup+0.100782 s]
/proc/loadavg: 1.85 1.95 1.98 4/178 16742
/proc/meminfo: memFree=30892452/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=30480 CPUtime=0.09
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 6904 0 0 0 9 0 0 0 24 0 1 0 132611522 31211520 6828 4089446400 4194304 7136930 140735049593264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16742/statm: 7620 6871 275 719 0 6899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30480

[startup+0.30073 s]
/proc/loadavg: 1.85 1.95 1.98 4/178 16742
/proc/meminfo: memFree=30892452/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=98296 CPUtime=0.29
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 24357 0 0 0 26 3 0 0 25 0 1 0 132611522 100655104 23890 4089446400 4194304 7136930 140735049593264 18446744073709551615 4906535 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 24574 23901 295 719 0 23853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 98296

[startup+0.700663 s]
/proc/loadavg: 1.85 1.95 1.98 4/178 16742
/proc/meminfo: memFree=30892452/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=125492 CPUtime=0.69
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 33072 0 0 0 63 6 0 0 25 0 1 0 132611522 128503808 29986 4089446400 4194304 7136930 140735049593264 18446744073709551615 5500824 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 31373 29986 410 719 0 30652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 125492

[startup+1.50051 s]
/proc/loadavg: 1.85 1.95 1.98 3/179 16743
/proc/meminfo: memFree=30773032/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=128248 CPUtime=1.49
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 34033 0 0 0 143 6 0 0 25 0 1 0 132611522 131325952 30393 4089446400 4194304 7136930 140735049593264 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 32062 30393 418 719 0 31341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128248

[startup+3.10023 s]
/proc/loadavg: 1.85 1.95 1.98 3/179 16743
/proc/meminfo: memFree=30772168/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=128508 CPUtime=3.09
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 34104 0 0 0 302 7 0 0 25 0 1 0 132611522 131592192 30457 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436346 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 32127 30457 411 719 0 31406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128508

[startup+6.30065 s]
/proc/loadavg: 1.86 1.95 1.98 3/179 16743
/proc/meminfo: memFree=30770616/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=128640 CPUtime=6.29
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 34134 0 0 0 622 7 0 0 25 0 1 0 132611522 131727360 30482 4089446400 4194304 7136930 140735049593264 18446744073709551615 5507241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 32160 30482 406 719 0 31439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128640

[startup+12.7005 s]
/proc/loadavg: 1.95 1.97 1.98 3/179 16743
/proc/meminfo: memFree=30770296/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=128948 CPUtime=12.69
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 34230 0 0 0 1261 8 0 0 25 0 1 0 132611522 132042752 30578 4089446400 4194304 7136930 140735049593264 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 32237 30578 406 719 0 31516 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128948

[startup+25.5012 s]
/proc/loadavg: 1.96 1.97 1.98 3/179 16743
/proc/meminfo: memFree=30767544/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=130464 CPUtime=25.49
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 34605 0 0 0 2537 12 0 0 25 0 1 0 132611522 133595136 30953 4089446400 4194304 7136930 140735049593264 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 32616 30953 406 719 0 31895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130464

[startup+51.1005 s]
/proc/loadavg: 1.97 1.97 1.98 3/179 16744
/proc/meminfo: memFree=30757912/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=133136 CPUtime=51.09
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 35258 0 0 0 5092 17 0 0 25 0 1 0 132611522 136331264 31606 4089446400 4194304 7136930 140735049593264 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 33284 31606 406 719 0 32563 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 133136

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16745
/proc/meminfo: memFree=30743752/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=138588 CPUtime=102.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 36634 0 0 0 10201 29 0 0 25 0 1 0 132611522 141914112 32982 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 34647 32982 406 719 0 33926 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 138588

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16747
/proc/meminfo: memFree=30719060/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=144540 CPUtime=162.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 38138 0 0 0 16186 44 0 0 25 0 1 0 132611522 148008960 34486 4089446400 4194304 7136930 140735049593264 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 36135 34486 406 719 0 35414 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 144540

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16749
/proc/meminfo: memFree=30689772/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=148508 CPUtime=222.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 39182 0 0 0 22171 59 0 0 25 0 1 0 132611522 152072192 35530 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 37127 35530 406 719 0 36406 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 148508

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/179 16750
/proc/meminfo: memFree=30655904/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=154304 CPUtime=282.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 40621 0 0 0 28158 72 0 0 25 0 1 0 132611522 158007296 36969 4089446400 4194304 7136930 140735049593264 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 38576 36969 406 719 0 37855 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 154304

[startup+342.301 s]
/proc/loadavg: 2.03 1.99 1.99 3/179 16752
/proc/meminfo: memFree=30626116/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=159208 CPUtime=342.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 41881 0 0 0 34145 85 0 0 25 0 1 0 132611522 163028992 38229 4089446400 4194304 7136930 140735049593264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 39802 38229 406 719 0 39081 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159208

[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.99 3/179 16753
/proc/meminfo: memFree=30593852/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=163424 CPUtime=402.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 42956 0 0 0 40130 100 0 0 25 0 1 0 132611522 167346176 39304 4089446400 4194304 7136930 140735049593264 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 40856 39304 406 719 0 40135 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 163424

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 16755
/proc/meminfo: memFree=30564680/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=167336 CPUtime=462.31
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 43952 0 0 0 46117 114 0 0 25 0 1 0 132611522 171352064 40300 4089446400 4194304 7136930 140735049593264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 41834 40300 406 719 0 41113 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 167336

[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 16766
/proc/meminfo: memFree=30542092/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=169504 CPUtime=522.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 44514 0 0 0 52105 125 0 0 25 0 1 0 132611522 173572096 40862 4089446400 4194304 7136930 140735049593264 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16742/statm: 42376 40862 406 719 0 41655 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 169504

[startup+582.301 s]
/proc/loadavg: 2.07 2.00 1.99 3/179 16767
/proc/meminfo: memFree=30514500/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=175024 CPUtime=582.3
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 45917 0 0 0 58090 140 0 0 25 0 1 0 132611522 179224576 42265 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 43756 42265 406 719 0 43035 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 175024

[startup+642.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 16769
/proc/meminfo: memFree=30488796/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=180488 CPUtime=642.31
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 47317 0 0 0 64075 156 0 0 25 0 1 0 132611522 184819712 43665 4089446400 4194304 7136930 140735049593264 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 45122 43665 406 719 0 44401 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 180488

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16777
/proc/meminfo: memFree=30365396/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=206796 CPUtime=942.31
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 53510 0 0 0 94001 230 0 0 25 0 1 0 132611522 211759104 49858 4089446400 4194304 7136930 140735049593264 18446744073709551615 4407804 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 51699 49858 406 719 0 50978 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 206796

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16778
/proc/meminfo: memFree=30341792/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=210272 CPUtime=1002.31
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 54402 0 0 0 99986 245 0 0 25 0 1 0 132611522 215318528 50750 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 52568 50750 406 719 0 51847 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 210272

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16780
/proc/meminfo: memFree=30314732/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=213304 CPUtime=1062.32
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 55181 0 0 0 105972 260 0 0 25 0 1 0 132611522 218423296 51529 4089446400 4194304 7136930 140735049593264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 53326 51529 406 719 0 52605 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 213304

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16782
/proc/meminfo: memFree=30285432/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=218896 CPUtime=1122.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 56604 0 0 0 111959 274 0 0 25 0 1 0 132611522 224149504 52952 4089446400 4194304 7136930 140735049593264 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 54724 52952 406 719 0 54003 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 218896

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16783
/proc/meminfo: memFree=30264204/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=223608 CPUtime=1182.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 57772 0 0 0 117942 291 0 0 25 0 1 0 132611522 228974592 54120 4089446400 4194304 7136930 140735049593264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 55902 54120 406 719 0 55181 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 223608

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16785
/proc/meminfo: memFree=30236764/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=228116 CPUtime=1242.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 58924 0 0 0 123927 306 0 0 25 0 1 0 132611522 233590784 55272 4089446400 4194304 7136930 140735049593264 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 57029 55272 406 719 0 56308 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 228116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16786
/proc/meminfo: memFree=30212304/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=234868 CPUtime=1302.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 60667 0 0 0 129912 321 0 0 25 0 1 0 132611522 240504832 57015 4089446400 4194304 7136930 140735049593264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 58717 57015 406 719 0 57996 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 234868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16788
/proc/meminfo: memFree=30189580/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=237412 CPUtime=1362.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 61329 0 0 0 135897 336 0 0 25 0 1 0 132611522 243109888 57677 4089446400 4194304 7136930 140735049593264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 59353 57677 406 719 0 58632 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 237412

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16790
/proc/meminfo: memFree=30162884/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=245440 CPUtime=1422.34
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 63362 0 0 0 141883 351 0 0 25 0 1 0 132611522 251330560 59710 4089446400 4194304 7136930 140735049593264 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16742/statm: 61360 59710 406 719 0 60639 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 245440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16819
/proc/meminfo: memFree=30778168/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=249424 CPUtime=1482.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 64381 0 0 0 147866 367 0 0 25 0 1 0 132611522 255410176 60729 4089446400 4194304 7136930 140735049593264 18446744073709551615 4697099 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 62356 60729 406 719 0 61635 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 249424

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16821
/proc/meminfo: memFree=30727724/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=256508 CPUtime=1542.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 66178 0 0 0 153852 381 0 0 25 0 1 0 132611522 262664192 62526 4089446400 4194304 7136930 140735049593264 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 64127 62526 406 719 0 63406 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 256508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16822
/proc/meminfo: memFree=30680936/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=259904 CPUtime=1602.33
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 67049 0 0 0 159838 395 0 0 25 0 1 0 132611522 266141696 63397 4089446400 4194304 7136930 140735049593264 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 64976 63397 406 719 0 64255 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 259904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16824
/proc/meminfo: memFree=30635132/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=263120 CPUtime=1662.34
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 67877 0 0 0 165824 410 0 0 25 0 1 0 132611522 269434880 64225 4089446400 4194304 7136930 140735049593264 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 65780 64225 406 719 0 65059 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 263120

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16826
/proc/meminfo: memFree=30588684/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=267428 CPUtime=1722.34
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 68976 0 0 0 171810 424 0 0 25 0 1 0 132611522 273846272 65324 4089446400 4194304 7136930 140735049593264 18446744073709551615 4407876 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 66857 65324 406 719 0 66136 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 267428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30543228/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=272800 CPUtime=1782.34
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 70342 0 0 0 177793 441 0 0 25 0 1 0 132611522 279347200 66690 4089446400 4194304 7136930 140735049593264 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 68200 66690 406 719 0 67479 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 272800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16828
/proc/meminfo: memFree=30529332/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=274136 CPUtime=1800.05
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 70683 0 0 0 179559 446 0 0 25 0 1 0 132611522 280715264 67031 4089446400 4194304 7136930 140735049593264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16742/statm: 68534 67031 406 719 0 67813 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 274136

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16828
/proc/meminfo: memFree=30529332/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=258108 CPUtime=1800.24
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 70690 0 0 0 179578 446 0 0 25 0 1 0 132611522 264302592 63151 4089446400 4194304 7136930 140735049593264 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16742/statm: 64527 63151 413 719 0 63806 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 258108

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16828
/proc/meminfo: memFree=30529332/32951124 swapFree=67111528/67111528
[pid=16742] ppid=16740 vsize=158560 CPUtime=1800.34
/proc/16742/stat : 16742 (pbscip.linux.x8) R 16740 16742 16717 0 -1 4202496 70690 0 0 0 179588 446 0 0 25 0 1 0 132611522 162365440 38280 4089446400 4194304 7136930 140735049593264 18446744073709551615 4333578 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16742/statm: 39640 38280 413 719 0 38919 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 158560

Child status: 0
Real time (s): 1800.34
CPU time (s): 1800.39
CPU user time (s): 1795.91
CPU system time (s): 4.47532
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 274136

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

runsolver used 2.71159 second user time and 6.40702 second system time

The end

Launcher Data 

Begin job on node138 at 2010-06-30 17:52:37
IDJOB=2693614
IDBENCH=79009
IDSOLVER=1206
FILE ID=node138/2693614-1277913156
PBS_JOBID= 11197308
Free space on /tmp= 74132 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-dlx1c.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-2693614-1277913156/watcher-2693614-1277913156 -o /tmp/evaluation-result-2693614-1277913156/solver-2693614-1277913156 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693614-1277913156.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 835b153aeac9652072cec4414ff34af5
RANDOM SEED=1549280196

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30892980 kB
Buffers:        200804 kB
Cached:        1478628 kB
SwapCached:          0 kB
Active:         883936 kB
Inactive:      1025556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30892980 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:      229944 kB
Mapped:          17476 kB
Slab:            83076 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   383228 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= 74132 MiB
End job on node138 at 2010-06-30 18:22:39