Trace number 2705176

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.43 1790.39

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-66-100-0.wbo
MD5SUM5805010aa07d3b134ea004b7ad815631
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 benchmark7.69083
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables18069
Total number of constraints52475
Number of soft constraints17765
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 896785
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 896784
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705176-1278575710.wbo>
0.39/0.42	c original problem has 53599 variables (35834 bin, 0 int, 17765 impl, 0 cont) and 70241 constraints
0.39/0.42	c problem read
0.39/0.42	c presolving settings loaded
0.69/0.72	c presolving:
0.89/0.91	c (round 1) 294 del vars, 16 del conss, 5 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 338856 impls, 0 clqs
0.89/0.93	c (round 2) 301 del vars, 600 del conss, 7 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 338856 impls, 0 clqs
0.89/0.95	c (round 3) 314 del vars, 615 del conss, 10 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 338936 impls, 0 clqs
0.89/0.96	c (round 4) 327 del vars, 654 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 338980 impls, 0 clqs
0.89/0.97	c (round 5) 338 del vars, 668 del conss, 16 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 339000 impls, 0 clqs
1.00/1.04	c (round 6) 347 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 0 upgd conss, 339000 impls, 0 clqs
1.19/1.21	c (round 7) 348 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 339000 impls, 0 clqs
15.09/15.17	c    (14.7s) probing: 1000/35504 (2.8%) - 3 fixings, 9 aggregations, 42875 implications, 0 bound changes
27.40/27.44	c    (27.0s) probing: 2000/35504 (5.6%) - 6 fixings, 17 aggregations, 66896 implications, 0 bound changes
38.29/38.34	c    (37.9s) probing: 3000/35504 (8.4%) - 6 fixings, 18 aggregations, 74769 implications, 0 bound changes
48.59/48.61	c    (48.2s) probing: 4000/35504 (11.3%) - 7 fixings, 19 aggregations, 81350 implications, 0 bound changes
57.89/57.94	c    (57.5s) probing: 5000/35504 (14.1%) - 8 fixings, 20 aggregations, 83103 implications, 0 bound changes
67.00/67.01	c    (66.6s) probing: 6000/35504 (16.9%) - 8 fixings, 21 aggregations, 84386 implications, 0 bound changes
70.09/70.11	c    (69.7s) probing: 6330/35504 (17.8%) - 8 fixings, 21 aggregations, 84847 implications, 0 bound changes
70.09/70.11	c    (69.7s) probing aborted: 100/100 successive totally useless probings
70.09/70.11	c (round 8) 377 del vars, 669 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 810406 impls, 0 clqs
70.09/70.15	c (round 9) 379 del vars, 716 del conss, 17763 chg bounds, 460 chg sides, 926 chg coeffs, 34082 upgd conss, 810420 impls, 0 clqs
77.89/78.00	c    (77.6s) probing: 7000/35504 (19.7%) - 8 fixings, 22 aggregations, 87169 implications, 0 bound changes
79.39/79.49	c    (79.1s) probing: 7167/35504 (20.2%) - 8 fixings, 22 aggregations, 87171 implications, 0 bound changes
79.39/79.49	c    (79.1s) probing aborted: 100/100 successive totally useless probings
79.49/79.50	c presolving (10 rounds):
79.49/79.50	c  382 deleted vars, 720 deleted constraints, 17763 tightened bounds, 0 added holes, 460 changed sides, 926 changed coefficients
79.49/79.50	c  815492 implications, 0 cliques
79.49/79.50	c presolved problem has 53217 variables (35472 bin, 0 int, 17745 impl, 0 cont) and 69521 constraints
79.49/79.50	c       4 constraints of type <varbound>
79.49/79.50	c     616 constraints of type <knapsack>
79.49/79.50	c   22396 constraints of type <setppc>
79.49/79.50	c   17741 constraints of type <linear>
79.49/79.50	c   17745 constraints of type <indicator>
79.49/79.50	c   11019 constraints of type <logicor>
79.49/79.50	c transformed objective value is always integral (scale: 1)
79.49/79.50	c Presolving Time: 78.90
79.49/79.50	c - non default parameters ----------------------------------------------------------------------
79.49/79.50	c # SCIP version 1.2.1.3
79.49/79.50	c 
79.49/79.50	c # frequency for displaying node information lines
79.49/79.50	c # [type: int, range: [-1,2147483647], default: 100]
79.49/79.50	c display/freq = 10000
79.49/79.50	c 
79.49/79.50	c # maximal time in seconds to run
79.49/79.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
79.49/79.50	c limits/time = 1789.59
79.49/79.50	c 
79.49/79.50	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
79.49/79.50	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
79.49/79.50	c limits/memory = 3420
79.49/79.50	c 
79.49/79.50	c # default clock type (1: CPU user seconds, 2: wall clock time)
79.49/79.50	c # [type: int, range: [1,2], default: 1]
79.49/79.50	c timing/clocktype = 2
79.49/79.50	c 
79.49/79.50	c # should presolving try to simplify inequalities
79.49/79.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
79.49/79.50	c constraints/linear/simplifyinequalities = TRUE
79.49/79.50	c 
79.49/79.50	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
79.49/79.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
79.49/79.50	c constraints/indicator/addCouplingCons = TRUE
79.49/79.50	c 
79.49/79.50	c # should presolving try to simplify knapsacks
79.49/79.50	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
79.49/79.50	c constraints/knapsack/simplifyinequalities = TRUE
79.49/79.50	c 
79.49/79.50	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
79.49/79.50	c # [type: int, range: [-1,2147483647], default: -1]
79.49/79.50	c separating/rapidlearning/freq = 0
79.49/79.50	c 
79.49/79.50	c -----------------------------------------------------------------------------------------------
79.49/79.50	c start solving
79.49/79.51	c 
79.79/79.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.79/79.80	c  79.4s|     1 |     0 |  1529 |     - | 226M|   0 |1078 |  53k|  69k|  53k|  34k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
83.00/83.06	c  82.6s|     1 |     0 |  2464 |     - | 228M|   0 |1346 |  53k|  69k|  53k|  34k| 368 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
85.49/85.59	c  85.2s|     1 |     0 |  4198 |     - | 228M|   0 |2476 |  53k|  69k|  53k|  34k| 688 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.20/90.27	c  89.8s|     1 |     0 |  6862 |     - | 229M|   0 |3242 |  53k|  69k|  53k|  35k|1138 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
99.19/99.27	c  98.9s|     1 |     0 |  9781 |     - | 230M|   0 |4047 |  53k|  69k|  53k|  35k|1600 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
105.30/105.37	c   105s|     1 |     0 | 12618 |     - | 231M|   0 |4713 |  53k|  69k|  53k|  36k|2056 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
133.99/134.09	c   134s|     1 |     0 | 17519 |     - | 231M|   0 |5482 |  53k|  69k|  53k|  36k|2426 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
177.00/177.10	c   177s|     1 |     2 | 17519 |     - | 231M|   0 |5482 |  53k|  69k|  53k|  36k|2426 |   0 |  25 | 0.000000e+00 |      --      |    Inf 
1790.03/1790.05	c 
1790.03/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.05	c Solving Time (sec) : 1789.62
1790.03/1790.05	c Solving Nodes      : 1185
1790.03/1790.05	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.03/1790.05	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.05	c Gap                : infinite
1790.03/1790.05	s UNKNOWN
1790.03/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.05	c Solving Time       :    1789.62
1790.03/1790.05	c Original Problem   :
1790.03/1790.05	c   Problem name     : HOME/instance-2705176-1278575710.wbo
1790.03/1790.05	c   Variables        : 53599 (35834 binary, 0 integer, 17765 implicit integer, 0 continuous)
1790.03/1790.05	c   Constraints      : 70241 initial, 70241 maximal
1790.03/1790.05	c Presolved Problem  :
1790.03/1790.05	c   Problem name     : t_HOME/instance-2705176-1278575710.wbo
1790.03/1790.05	c   Variables        : 53217 (35472 binary, 0 integer, 17745 implicit integer, 0 continuous)
1790.03/1790.05	c   Constraints      : 69521 initial, 69869 maximal
1790.03/1790.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.03/1790.05	c   trivial          :       0.03          0          0          0          0          0          0          0          0
1790.03/1790.05	c   dualfix          :       0.02         39          0          0          0          0          0          0          0
1790.03/1790.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.05	c   implics          :       0.03          0        294          0          0          0          0          0          0
1790.03/1790.05	c   probing          :      78.11          8         22          0          0          0          0          0          0
1790.03/1790.05	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.05	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1790.03/1790.05	c   setppc           :       0.04          0          0          0          0          0         43          0          0
1790.03/1790.05	c   linear           :       0.43         16          3          0      17763          0        653        460        926
1790.03/1790.05	c   indicator        :       0.03          0          0          0          0          0         20          0          0
1790.03/1790.05	c   logicor          :       0.04          0          0          0          0          0          4          0          0
1790.03/1790.05	c   root node        :          -          0          -          -          0          -          -          -          -
1790.03/1790.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.05	c   integral         :          0          0          0       1188          0          0          0          0          0       2126
1790.03/1790.05	c   varbound         :          4          6      49839        125          0          0          0          0          0          0
1790.03/1790.05	c   knapsack         :        616          6      49839        125          0         67        395       1200          0          0
1790.03/1790.05	c   setppc           :      22396          6      49772        125          0          6      23619          0          0          0
1790.03/1790.05	c   linear           :      17741          6      49766        125          0          0        386       3118          0          0
1790.03/1790.05	c   indicator        :      17745          0      49766        125          0          0        363          0          0          0
1790.03/1790.05	c   logicor          :      11019+         6      33902        112          0          9       2483          0          0          0
1790.03/1790.05	c   countsols        :          0          0          0        112          0          0          0          0          0          0
1790.03/1790.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.03/1790.05	c   integral         :     397.40       0.00       0.00     397.40       0.00
1790.03/1790.05	c   varbound         :       0.05       0.00       0.05       0.00       0.00
1790.03/1790.05	c   knapsack         :       1.76       0.02       1.74       0.00       0.00
1790.03/1790.05	c   setppc           :      49.80       0.01      49.69       0.10       0.00
1790.03/1790.05	c   linear           :      25.33       0.02      24.67       0.63       0.00
1790.03/1790.05	c   indicator        :      47.08       0.00      46.58       0.50       0.00
1790.03/1790.05	c   logicor          :       0.74       0.01       0.65       0.08       0.00
1790.03/1790.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.03/1790.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.03/1790.05	c   vbounds          :       0.05        313          0          0
1790.03/1790.05	c   rootredcost      :       0.02          0          0          0
1790.03/1790.05	c   pseudoobj        :      25.33      30874          0          0
1790.03/1790.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.03/1790.05	c   propagation      :       0.00         74         74        136        8.5          3       11.3          -
1790.03/1790.05	c   infeasible LP    :       1.34        232        232        247        5.0          0        0.0          0
1790.03/1790.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.05	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.05	c   applied globally :          -          -          -        348        5.9          -          -          -
1790.03/1790.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.03/1790.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.03/1790.05	c   cut pool         :       0.00          5          -          -        238          -    (maximal pool size: 2571)
1790.03/1790.05	c   redcost          :       3.06       1190          0          0          0          0
1790.03/1790.05	c   impliedbounds    :       0.03          6          0          0        445          0
1790.03/1790.05	c   intobj           :       0.00          0          0          0          0          0
1790.03/1790.05	c   cgmip            :       0.00          0          0          0          0          0
1790.03/1790.05	c   gomory           :      14.58          6          0          0       2969          0
1790.03/1790.05	c   strongcg         :      10.50          6          0          0       3000          0
1790.03/1790.05	c   cmir             :       3.23          6          0          0          0          0
1790.03/1790.05	c   flowcover        :       5.96          6          0          0       1202          0
1790.03/1790.05	c   clique           :       0.80          6          0          0         39          0
1790.03/1790.05	c   zerohalf         :       0.00          0          0          0          0          0
1790.03/1790.05	c   mcf              :       0.26          1          0          0          0          0
1790.03/1790.05	c   rapidlearning    :       0.00          0          0          0          0          0
1790.03/1790.05	c Pricers            :       Time      Calls       Vars
1790.03/1790.05	c   problem variables:       0.00          0          0
1790.03/1790.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.05	c   relpscost        :     397.39       1063          0          0          0          0       2126
1790.03/1790.05	c   pscost           :       0.00          0          0          0          0          0          0
1790.03/1790.05	c   inference        :       1.04        112          0          0          0          0        224
1790.03/1790.05	c   mostinf          :       0.00          0          0          0          0          0          0
1790.03/1790.05	c   leastinf         :       0.00          0          0          0          0          0          0
1790.03/1790.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.03/1790.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.03/1790.05	c   random           :       0.00          0          0          0          0          0          0
1790.03/1790.05	c Primal Heuristics  :       Time      Calls      Found
1790.03/1790.05	c   LP solutions     :       0.00          -          0
1790.03/1790.05	c   pseudo solutions :       0.00          -          0
1790.03/1790.05	c   oneopt           :       0.00          0          0
1790.03/1790.05	c   crossover        :       0.00          0          0
1790.03/1790.05	c   guideddiving     :       0.00          0          0
1790.03/1790.05	c   intshifting      :       0.00          0          0
1790.03/1790.05	c   veclendiving     :     115.44          3          0
1790.03/1790.05	c   coefdiving       :     229.04          4          0
1790.03/1790.05	c   pscostdiving     :      96.43          4          0
1790.03/1790.05	c   objpscostdiving  :      53.35          2          0
1790.03/1790.05	c   rootsoldiving    :       7.22          2          0
1790.03/1790.05	c   fracdiving       :     159.99          5          0
1790.03/1790.05	c   linesearchdiving :     157.82          6          0
1790.03/1790.05	c   feaspump         :       9.86         18          0
1790.03/1790.05	c   trivial          :       0.07          2          0
1790.03/1790.05	c   simplerounding   :       0.00       1059          0
1790.03/1790.05	c   zirounding       :       1.33       1000          0
1790.03/1790.05	c   rounding         :       0.90        410          0
1790.03/1790.05	c   shifting         :      20.22        100          0
1790.03/1790.05	c   twoopt           :       0.00          0          0
1790.03/1790.05	c   fixandinfer      :       0.00          0          0
1790.03/1790.05	c   intdiving        :       0.00          0          0
1790.03/1790.05	c   actconsdiving    :       0.00          0          0
1790.03/1790.05	c   octane           :       0.00          0          0
1790.03/1790.05	c   rens             :       0.56          1          0
1790.03/1790.05	c   rins             :       0.00          0          0
1790.03/1790.05	c   localbranching   :       0.00          0          0
1790.03/1790.05	c   mutation         :       0.00          0          0
1790.03/1790.05	c   dins             :       0.00          0          0
1790.03/1790.05	c   undercover       :       0.00          0          0
1790.03/1790.05	c   nlp              :       0.00          0          0
1790.03/1790.05	c   trysol           :       0.00          0          0
1790.03/1790.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.03/1790.05	c   primal LP        :       0.03          0          0       0.00       0.00
1790.03/1790.05	c   dual LP          :     393.34       1075     269199     250.42     684.39
1790.03/1790.05	c   lex dual LP      :       0.00          0          0       0.00          -
1790.03/1790.05	c   barrier LP       :       0.00          0          0       0.00          -
1790.03/1790.05	c   diving/probing LP:     618.56      13993     317388      22.68     513.11
1790.03/1790.05	c   strong branching :     395.92       1481     258553     174.58     653.04
1790.03/1790.05	c     (at root node) :          -         25      23991     959.64          -
1790.03/1790.05	c   conflict analysis:       0.00          0          0       0.00          -
1790.03/1790.05	c B&B Tree           :
1790.03/1790.05	c   number of runs   :          1
1790.03/1790.05	c   nodes            :       1185
1790.03/1790.05	c   nodes (total)    :       1185
1790.03/1790.05	c   nodes left       :       1166
1790.03/1790.05	c   max depth        :        640
1790.03/1790.05	c   max depth (total):        640
1790.03/1790.05	c   backtracks       :        128 (10.8%)
1790.03/1790.05	c   delayed cutoffs  :          0
1790.03/1790.05	c   repropagations   :        838 (32 domain reductions, 0 cutoffs)
1790.03/1790.05	c   avg switch length:       3.70
1790.03/1790.05	c   switching time   :       1.07
1790.03/1790.05	c Solution           :
1790.03/1790.05	c   Solutions found  :          0 (0 improvements)
1790.03/1790.05	c   Primal Bound     :          -
1790.03/1790.05	c   Dual Bound       : +0.00000000000000e+00
1790.03/1790.05	c   Gap              :   infinite
1790.03/1790.05	c   Root Dual Bound  : +0.00000000000000e+00
1790.03/1790.05	c   Root Iterations  :      17519
1790.33/1790.38	c Time complete: 1790.43.

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-2705176-1278575710/watcher-2705176-1278575710 -o /tmp/evaluation-result-2705176-1278575710/solver-2705176-1278575710 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705176-1278575710.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.92 1.97 1.85 4/178 22552
/proc/meminfo: memFree=29343056/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=12344 CPUtime=0
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 1949 0 0 0 0 0 0 0 22 0 1 0 25783923 12640256 1867 4089446400 4194304 10345943 140733903533840 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22552/statm: 3086 1867 429 1502 0 1579 0

[startup+0.0339009 s]
/proc/loadavg: 1.92 1.97 1.85 4/178 22552
/proc/meminfo: memFree=29343056/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=19412 CPUtime=0.02
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 3703 0 0 0 2 0 0 0 22 0 1 0 25783923 19877888 3621 4089446400 4194304 10345943 140733903533840 18446744073709551615 5758149 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22552/statm: 4853 3621 430 1502 0 3346 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19412

[startup+0.100903 s]
/proc/loadavg: 1.92 1.97 1.85 4/178 22552
/proc/meminfo: memFree=29343056/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=31152 CPUtime=0.09
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 6652 0 0 0 8 1 0 0 22 0 1 0 25783923 31899648 6570 4089446400 4194304 10345943 140733903533840 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22552/statm: 7788 6570 430 1502 0 6281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31152

[startup+0.300871 s]
/proc/loadavg: 1.92 1.97 1.85 4/178 22552
/proc/meminfo: memFree=29343056/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=67784 CPUtime=0.29
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 15792 0 0 0 27 2 0 0 22 0 1 0 25783923 69410816 15710 4089446400 4194304 10345943 140733903533840 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22552/statm: 16946 15710 430 1502 0 15439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67784

[startup+0.700784 s]
/proc/loadavg: 1.92 1.97 1.85 4/178 22552
/proc/meminfo: memFree=29343056/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=199752 CPUtime=0.69
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 47875 0 0 0 64 5 0 0 24 0 1 0 25783923 204546048 47403 4089446400 4194304 10345943 140733903533840 18446744073709551615 4283073 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 49938 47403 505 1502 0 48431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 199752

[startup+1.50065 s]
/proc/loadavg: 1.92 1.97 1.85 3/179 22553
/proc/meminfo: memFree=29128156/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=247404 CPUtime=1.49
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 61255 0 0 0 142 7 0 0 25 0 1 0 25783923 253341696 59145 4089446400 4194304 10345943 140733903533840 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 61851 59145 584 1502 0 60344 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 247404

[startup+3.10036 s]
/proc/loadavg: 1.92 1.97 1.85 3/179 22553
/proc/meminfo: memFree=29107600/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=249748 CPUtime=3.09
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 61843 0 0 0 302 7 0 0 25 0 1 0 25783923 255741952 59733 4089446400 4194304 10345943 140733903533840 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 62437 59733 585 1502 0 60930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 249748

[startup+6.30079 s]
/proc/loadavg: 1.93 1.97 1.85 3/179 22554
/proc/meminfo: memFree=29102268/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=254800 CPUtime=6.29
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 63105 0 0 0 622 7 0 0 25 0 1 0 25783923 260915200 60995 4089446400 4194304 10345943 140733903533840 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 63700 60995 585 1502 0 62193 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 254800

[startup+12.7006 s]
/proc/loadavg: 1.93 1.97 1.85 3/179 22554
/proc/meminfo: memFree=29094824/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=257844 CPUtime=12.69
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 63891 0 0 0 1262 7 0 0 25 0 1 0 25783923 264032256 61781 4089446400 4194304 10345943 140733903533840 18446744073709551615 5031099 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 64461 61781 585 1502 0 62954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 257844

[startup+25.5003 s]
/proc/loadavg: 1.95 1.97 1.85 3/179 22554
/proc/meminfo: memFree=29084236/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=261708 CPUtime=25.49
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 64851 0 0 0 2542 7 0 0 25 0 1 0 25783923 267988992 62741 4089446400 4194304 10345943 140733903533840 18446744073709551615 5604426 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 65427 62741 590 1502 0 63920 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 261708

[startup+51.1008 s]
/proc/loadavg: 1.96 1.97 1.85 3/179 22554
/proc/meminfo: memFree=29063544/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=269032 CPUtime=51.09
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 66618 0 0 0 5102 7 0 0 25 0 1 0 25783923 275488768 64508 4089446400 4194304 10345943 140733903533840 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 67258 64508 590 1502 0 65751 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 269032

[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.85 3/179 22556
/proc/meminfo: memFree=28948304/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=376680 CPUtime=102.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 90339 0 0 0 10219 11 0 0 25 0 1 0 25783923 385720320 88101 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569443 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 94170 88101 758 1502 0 92663 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 376680

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.86 3/179 22558
/proc/meminfo: memFree=28901020/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=413424 CPUtime=162.29
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 128385 0 0 0 16210 19 0 0 25 0 1 0 25783923 423346176 93195 4089446400 4194304 10345943 140733903533840 18446744073709551615 7568804 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 103356 93195 776 1502 0 101849 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 413424

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.87 3/179 22559
/proc/meminfo: memFree=28882116/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=417060 CPUtime=222.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 133164 0 0 0 22206 24 0 0 25 0 1 0 25783923 427069440 92272 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569440 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 104265 92272 781 1502 0 102758 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 417060

[startup+282.3 s]
/proc/loadavg: 2.04 1.99 1.88 3/179 22561
/proc/meminfo: memFree=28856168/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=406328 CPUtime=282.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 171337 0 0 0 28197 33 0 0 25 0 1 0 25783923 416079872 91767 4089446400 4194304 10345943 140733903533840 18446744073709551615 6337549 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 101582 91767 781 1502 0 100075 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 406328

[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.88 3/179 22562
/proc/meminfo: memFree=28826116/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=417884 CPUtime=342.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 205808 0 0 0 34189 41 0 0 25 0 1 0 25783923 427913216 92589 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569478 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/22552/statm: 104471 92589 781 1502 0 102964 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 417884

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 22573
/proc/meminfo: memFree=28788604/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=405636 CPUtime=402.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 211419 0 0 0 40186 44 0 0 25 0 1 0 25783923 415371264 94581 4089446400 4194304 10345943 140733903533840 18446744073709551615 7568667 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101409 94581 785 1502 0 99902 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 405636

[startup+462.3 s]
/proc/loadavg: 2.03 2.00 1.90 3/179 22575
/proc/meminfo: memFree=28763892/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=395784 CPUtime=462.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 214956 0 0 0 46183 47 0 0 25 0 1 0 25783923 405282816 94276 4089446400 4194304 10345943 140733903533840 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 98946 94276 785 1502 0 97439 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 395784

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 22576
/proc/meminfo: memFree=28734084/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=398740 CPUtime=522.3
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 223628 0 0 0 52179 51 0 0 25 0 1 0 25783923 408309760 94886 4089446400 4194304 10345943 140733903533840 18446744073709551615 7574735 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 99685 94886 785 1502 0 98178 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 398740

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22578
/proc/meminfo: memFree=28707876/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=401704 CPUtime=582.31
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 227416 0 0 0 58175 56 0 0 25 0 1 0 25783923 411344896 95040 4089446400 4194304 10345943 140733903533840 18446744073709551615 6518670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 100426 95040 785 1502 0 98919 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 401704

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22579
/proc/meminfo: memFree=28681676/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=404700 CPUtime=642.31
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 232602 0 0 0 64171 60 0 0 25 0 1 0 25783923 414412800 95169 4089446400 4194304 10345943 140733903533840 18446744073709551615 8160417 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101175 95169 786 1502 0 99668 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 404700

[startup+702.3 s]

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

/proc/meminfo: memFree=28794436/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=407604 CPUtime=1002.31
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 269446 0 0 0 100151 80 0 0 25 0 1 0 25783923 417386496 96471 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569564 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101901 96471 786 1502 0 100394 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 407604

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22618
/proc/meminfo: memFree=28764392/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=407616 CPUtime=1062.32
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 273904 0 0 0 106148 84 0 0 25 0 1 0 25783923 417398784 97444 4089446400 4194304 10345943 140733903533840 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101904 97444 786 1502 0 100397 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 407616

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22619
/proc/meminfo: memFree=28736592/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=407664 CPUtime=1122.32
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 290921 0 0 0 112142 90 0 0 25 0 1 0 25783923 417447936 96286 4089446400 4194304 10345943 140733903533840 18446744073709551615 7568779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101916 96286 786 1502 0 100409 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 407664

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22621
/proc/meminfo: memFree=28712516/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=401724 CPUtime=1182.32
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 308347 0 0 0 118138 94 0 0 25 0 1 0 25783923 411365376 96211 4089446400 4194304 10345943 140733903533840 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 100431 96211 786 1502 0 98924 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 401724

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22622
/proc/meminfo: memFree=28684084/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=434268 CPUtime=1242.32
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 329891 0 0 0 124132 100 0 0 25 0 1 0 25783923 444690432 96171 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 108567 96171 786 1502 0 107060 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 434268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22624
/proc/meminfo: memFree=28646612/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=405728 CPUtime=1302.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 342300 0 0 0 130127 106 0 0 25 0 1 0 25783923 415465472 96471 4089446400 4194304 10345943 140733903533840 18446744073709551615 7571238 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101432 96471 786 1502 0 99925 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 405728

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22626
/proc/meminfo: memFree=28618308/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=408640 CPUtime=1362.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 356420 0 0 0 136121 112 0 0 25 0 1 0 25783923 418447360 96804 4089446400 4194304 10345943 140733903533840 18446744073709551615 7519732 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102160 96804 800 1502 0 100653 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 408640

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 22630
/proc/meminfo: memFree=28591956/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=405780 CPUtime=1422.34
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 375435 0 0 0 142114 120 0 0 25 0 1 0 25783923 415518720 96918 4089446400 4194304 10345943 140733903533840 18446744073709551615 6882890 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101445 96918 800 1502 0 99938 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 405780

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 22632
/proc/meminfo: memFree=28560892/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=405792 CPUtime=1482.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 394108 0 0 0 148106 127 0 0 25 0 1 0 25783923 415531008 96864 4089446400 4194304 10345943 140733903533840 18446744073709551615 6345989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 101448 96864 800 1502 0 99941 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 405792

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 22633
/proc/meminfo: memFree=28538664/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=408620 CPUtime=1542.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 404872 0 0 0 154100 133 0 0 25 0 1 0 25783923 418426880 96930 4089446400 4194304 10345943 140733903533840 18446744073709551615 7569478 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102155 96930 800 1502 0 100648 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 408620

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 22635
/proc/meminfo: memFree=28508004/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=408604 CPUtime=1602.34
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 406056 0 0 0 160097 137 0 0 25 0 1 0 25783923 418410496 97036 4089446400 4194304 10345943 140733903533840 18446744073709551615 7521948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102151 97036 800 1502 0 100644 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 408604

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22637
/proc/meminfo: memFree=28488740/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410492 CPUtime=1662.34
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 416888 0 0 0 166092 142 0 0 25 0 1 0 25783923 420343808 95582 4089446400 4194304 10345943 140733903533840 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102623 95582 800 1502 0 101116 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 410492

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22638
/proc/meminfo: memFree=28446908/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=434116 CPUtime=1722.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 470956 0 0 0 172080 153 0 0 25 0 1 0 25783923 444534784 96019 4089446400 4194304 10345943 140733903533840 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 108529 96019 800 1502 0 107022 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 434116

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28430020/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410380 CPUtime=1782.34
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 576531 0 0 0 178063 171 0 0 25 0 1 0 25783923 420229120 95706 4089446400 4194304 10345943 140733903533840 18446744073709551615 7507698 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102595 95706 800 1502 0 101088 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 410380

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28428780/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=409728 CPUtime=1785.53
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 586680 0 0 0 178381 172 0 0 25 0 1 0 25783923 419561472 95530 4089446400 4194304 10345943 140733903533840 18446744073709551615 6866185 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102432 95530 801 1502 0 100925 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 409728

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28426920/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410320 CPUtime=1788.73
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 586773 0 0 0 178701 172 0 0 25 0 1 0 25783923 420167680 95623 4089446400 4194304 10345943 140733903533840 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102580 95623 801 1502 0 101073 0
Current children cumulated CPU time (s) 1788.73
Current children cumulated vsize (KiB) 410320

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28426920/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410320 CPUtime=1789.53
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 586792 0 0 0 178781 172 0 0 25 0 1 0 25783923 420167680 95642 4089446400 4194304 10345943 140733903533840 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102580 95642 801 1502 0 101073 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (KiB) 410320

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28426288/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410320 CPUtime=1789.93
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 586803 0 0 0 178821 172 0 0 25 0 1 0 25783923 420167680 95653 4089446400 4194304 10345943 140733903533840 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22552/statm: 102580 95653 801 1502 0 101073 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 410320

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 22640
/proc/meminfo: memFree=28426288/32951124 swapFree=67111528/67111528
[pid=22552] ppid=22550 vsize=410576 CPUtime=1790.33
/proc/22552/stat : 22552 (pbscip.linux.x8) R 22550 22552 22178 0 -1 4202496 586876 0 0 0 178861 172 0 0 25 0 1 0 25783923 420429824 95726 4089446400 4194304 10345943 140733903533840 18446744073709551615 4750032 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22552/statm: 102644 95726 805 1502 0 101137 0
Current children cumulated CPU time (s) 1790.33
Current children cumulated vsize (KiB) 410576

Child status: 0
Real time (s): 1790.39
CPU time (s): 1790.43
CPU user time (s): 1788.69
CPU system time (s): 1.74273
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 515844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.69
system time used= 1.74273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 17911

runsolver used 2.92755 second user time and 6.80097 second system time

The end

Launcher Data 

Begin job on node146 at 2010-07-08 09:55:10
IDJOB=2705176
IDBENCH=79062
IDSOLVER=1214
FILE ID=node146/2705176-1278575710
PBS_JOBID= 11240162
Free space on /tmp= 73584 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705176-1278575710/watcher-2705176-1278575710 -o /tmp/evaluation-result-2705176-1278575710/solver-2705176-1278575710 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705176-1278575710.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 5805010aa07d3b134ea004b7ad815631
RANDOM SEED=1071258226

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29343584 kB
Buffers:        169128 kB
Cached:        2814204 kB
SwapCached:          0 kB
Active:        1816620 kB
Inactive:      1615968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29343584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14420 kB
Writeback:           0 kB
AnonPages:      450256 kB
Mapped:          17792 kB
Slab:           108140 kB
PageTables:       6264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   599324 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= 73568 MiB
End job on node146 at 2010-07-08 10:25:00