Trace number 2692553

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-66-100-0.wbo
MD5SUMc8727fb292de6f0ef34aa00aa6399d46
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.071988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7564
Total number of constraints23412
Number of soft constraints8041
Number of constraints which are clauses23168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 408107
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 408106
Biggest number in a constraint 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 333
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692553-1277917532.wbo>
0.19/0.20	c original problem has 23646 variables (15605 bin, 0 int, 0 impl, 8041 cont) and 31454 constraints
0.19/0.20	c problem read
0.19/0.20	c presolving settings loaded
0.40/0.47	c presolving:
0.59/0.62	c (round 1) 868 del vars, 2627 del conss, 495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 269499 impls, 0 clqs
0.69/0.72	c (round 2) 2378 del vars, 7700 del conss, 1093 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 276986 impls, 0 clqs
0.80/0.82	c (round 3) 5007 del vars, 11423 del conss, 1455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 280438 impls, 0 clqs
0.80/0.88	c (round 4) 7657 del vars, 13841 del conss, 1760 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 283735 impls, 0 clqs
0.89/0.93	c (round 5) 9327 del vars, 15580 del conss, 2007 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 285912 impls, 0 clqs
0.89/0.96	c (round 6) 10573 del vars, 16920 del conss, 2192 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287335 impls, 0 clqs
0.89/0.99	c (round 7) 11448 del vars, 17868 del conss, 2297 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287658 impls, 0 clqs
1.00/1.01	c (round 8) 12060 del vars, 18335 del conss, 2322 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287848 impls, 0 clqs
1.00/1.02	c (round 9) 12401 del vars, 18497 del conss, 2328 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287870 impls, 0 clqs
1.00/1.03	c (round 10) 12530 del vars, 18546 del conss, 2330 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287870 impls, 0 clqs
1.00/1.04	c (round 11) 12570 del vars, 18560 del conss, 2331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287870 impls, 0 clqs
1.00/1.04	c (round 12) 12581 del vars, 18565 del conss, 2331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287870 impls, 0 clqs
1.00/1.07	c (round 13) 12585 del vars, 18565 del conss, 5980 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 287870 impls, 0 clqs
1.10/1.14	c (round 14) 12585 del vars, 18565 del conss, 5980 chg bounds, 0 chg sides, 0 chg coeffs, 6017 upgd conss, 287870 impls, 0 clqs
2.29/2.30	c    (2.0s) probing: 1000/7412 (13.5%) - 0 fixings, 0 aggregations, 8674 implications, 0 bound changes
3.10/3.11	c    (2.8s) probing: 2000/7412 (27.0%) - 0 fixings, 0 aggregations, 10041 implications, 0 bound changes
3.10/3.11	c    (2.8s) probing: 2001/7412 (27.0%) - 0 fixings, 0 aggregations, 10041 implications, 0 bound changes
3.10/3.11	c    (2.8s) probing aborted: 2000/2000 successive useless probings
3.10/3.11	c presolving (15 rounds):
3.10/3.11	c  12585 deleted vars, 18565 deleted constraints, 5980 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.10/3.11	c  322683 implications, 0 cliques
3.10/3.11	c presolved problem has 11061 variables (7412 bin, 0 int, 0 impl, 3649 cont) and 12889 constraints
3.10/3.11	c    3649 constraints of type <indicator>
3.10/3.11	c     426 constraints of type <varbound>
3.10/3.11	c     159 constraints of type <knapsack>
3.10/3.11	c    3223 constraints of type <linear>
3.10/3.11	c    5432 constraints of type <logicor>
3.10/3.11	c transformed objective value is always integral (scale: 1)
3.10/3.11	c Presolving Time: 2.75
3.10/3.11	c - non default parameters ----------------------------------------------------------------------
3.10/3.11	c # SCIP version 1.2.1.2
3.10/3.11	c 
3.10/3.11	c # frequency for displaying node information lines
3.10/3.11	c # [type: int, range: [-1,2147483647], default: 100]
3.10/3.11	c display/freq = 10000
3.10/3.11	c 
3.10/3.11	c # maximal time in seconds to run
3.10/3.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.10/3.11	c limits/time = 1799.81
3.10/3.11	c 
3.10/3.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.10/3.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.10/3.11	c limits/memory = 3420
3.10/3.11	c 
3.10/3.11	c # should presolving try to simplify inequalities
3.10/3.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.10/3.11	c constraints/linear/simplifyinequalities = TRUE
3.10/3.11	c 
3.10/3.11	c # should presolving try to simplify knapsacks
3.10/3.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.10/3.11	c constraints/knapsack/simplifyinequalities = TRUE
3.10/3.11	c 
3.10/3.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.10/3.11	c # [type: int, range: [-1,2147483647], default: -1]
3.10/3.11	c separating/rapidlearning/freq = 0
3.10/3.11	c 
3.10/3.11	c -----------------------------------------------------------------------------------------------
3.10/3.11	c start solving
3.10/3.11	c 
3.10/3.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.10/3.16	c   2.9s|     1 |     0 |   195 |     - |  79M|   0 |  82 |  11k|  12k|  11k|5591 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.89/3.93	c   3.6s|     1 |     0 |  3926 |     - |  80M|   0 | 152 |  11k|  12k|  11k|6277 | 686 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.40/4.44	c   4.1s|     1 |     0 |  4521 |     - |  80M|   0 | 281 |  11k|  12k|  11k|6570 | 979 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.09/5.19	c   4.9s|     1 |     0 |  5672 |     - |  80M|   0 | 420 |  11k|  12k|  11k|6902 |1311 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.09/6.14	c   5.8s|     1 |     0 |  6836 |     - |  81M|   0 | 498 |  11k|  12k|  11k|7293 |1702 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.86	c   7.5s|     1 |     0 |  8352 |     - |  81M|   0 | 556 |  11k|  12k|  11k|7569 |1978 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.49/10.59	c  10.2s|     1 |     0 | 10954 |     - |  81M|   0 | 790 |  11k|  12k|  11k|7872 |2281 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.49/21.56	c  21.1s|     1 |     2 | 10954 |     - |  82M|   0 | 790 |  11k|  12k|  11k|7872 |2281 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
1054.91/1054.97	c  1045s| 10000 |  9991 |942485 |  93.2 | 137M| 313 | 372 |  11k|  13k|  11k|7132 |2281 | 122 |5045 | 0.000000e+00 |      --      |    Inf 
1731.02/1731.07	c  1713s| 20000 | 19991 |  1637k|  81.4 | 191M| 313 | 342 |  11k|  13k|  11k|7132 |2281 | 361 |7792 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.10	c 
1800.02/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.10	c Solving Time (sec) : 1781.74
1800.02/1800.10	c Solving Nodes      : 20873
1800.02/1800.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.10	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.10	c Gap                : infinite
1800.02/1800.10	s UNKNOWN
1800.02/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.10	c Solving Time       :    1781.74
1800.02/1800.10	c Original Problem   :
1800.02/1800.10	c   Problem name     : HOME/instance-2692553-1277917532.wbo
1800.02/1800.10	c   Variables        : 23646 (15605 binary, 0 integer, 0 implicit integer, 8041 continuous)
1800.02/1800.10	c   Constraints      : 31454 initial, 31454 maximal
1800.02/1800.10	c Presolved Problem  :
1800.02/1800.10	c   Problem name     : t_HOME/instance-2692553-1277917532.wbo
1800.02/1800.10	c   Variables        : 11061 (7412 binary, 0 integer, 0 implicit integer, 3649 continuous)
1800.02/1800.10	c   Constraints      : 12889 initial, 13147 maximal
1800.02/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.10	c   trivial          :       0.02         67          0          0          0          0          0          0          0
1800.02/1800.10	c   dualfix          :       0.03       9298          0          0          0          0          0          0          0
1800.02/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.10	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.10	c   probing          :       1.91          0          0          0          0          0          0          0          0
1800.02/1800.10	c   indicator        :       0.12          0          0          0          0          0       4392          0          0
1800.02/1800.10	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.10	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.10	c   linear           :       0.42       2264        956          0       5980          0      14173          0          0
1800.02/1800.10	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.02/1800.10	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.10	c   integral         :          0          0          0      20875          0          0         12          0          0      41736
1800.02/1800.10	c   indicator        :       3649          0     195957          0          0          0      15600          0          0          0
1800.02/1800.10	c   varbound         :        426          6     195957          0          0          0       1097        321          0          0
1800.02/1800.10	c   knapsack         :        159          6     195957          0          0          0      21182        419          0          0
1800.02/1800.10	c   linear           :       3223          6     195957          0          0          0      10850        984          0          0
1800.02/1800.10	c   logicor          :       5432+         6     145661          0          0          6     145471          0          0          0
1800.02/1800.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.10	c   integral         :     418.70       0.00       0.00     418.70       0.00
1800.02/1800.10	c   indicator        :      16.62       0.00      16.62       0.00       0.00
1800.02/1800.10	c   varbound         :       1.50       0.00       1.50       0.00       0.00
1800.02/1800.10	c   knapsack         :       1.44       0.00       1.44       0.00       0.00
1800.02/1800.10	c   linear           :       9.35       0.03       9.32       0.00       0.00
1800.02/1800.10	c   logicor          :       1.11       0.00       1.11       0.00       0.00
1800.02/1800.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.10	c   vbounds          :       8.41      56384          0       3791
1800.02/1800.10	c   rootredcost      :       0.08          0          0          0
1800.02/1800.10	c   pseudoobj        :      19.69     189228          0          0
1800.02/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.10	c   propagation      :       0.00          6          6          9        9.3          0        0.0          -
1800.02/1800.10	c   infeasible LP    :       0.47        305        305        366        9.6          0        0.0          0
1800.02/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.10	c   applied globally :          -          -          -        362        9.3          -          -          -
1800.02/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.10	c   cut pool         :       0.00          5          -          -        160          -    (maximal pool size: 1659)
1800.02/1800.10	c   redcost          :       5.65      20880          0          0          0          0
1800.02/1800.10	c   impliedbounds    :       0.00          6          0          0        757          0
1800.02/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.10	c   gomory           :       1.03          6          0          0       1430          0
1800.02/1800.10	c   strongcg         :       0.82          6          0          0        638          0
1800.02/1800.10	c   cmir             :       0.36          6          0          0          9          0
1800.02/1800.10	c   flowcover        :       1.10          6          0          0        475          0
1800.02/1800.10	c   clique           :       0.04          6          0          0         34          0
1800.02/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.10	c   mcf              :       0.01          1          0          0          0          0
1800.02/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.10	c Pricers            :       Time      Calls       Vars
1800.02/1800.10	c   problem variables:       0.00          0          0
1800.02/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.10	c   relpscost        :     418.66      20875          0         12          0          0      41736
1800.02/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.10	c   LP solutions     :       0.00          -          0
1800.02/1800.10	c   pseudo solutions :       0.00          -          0
1800.02/1800.10	c   oneopt           :       0.03          0          0
1800.02/1800.10	c   crossover        :       0.02          0          0
1800.02/1800.10	c   guideddiving     :       0.00          0          0
1800.02/1800.10	c   objpscostdiving  :      23.68          5          0
1800.02/1800.10	c   rootsoldiving    :      10.03          8          0
1800.02/1800.10	c   feaspump         :       3.93         12          0
1800.02/1800.10	c   linesearchdiving :      69.41         24          0
1800.02/1800.10	c   fracdiving       :      94.60         24          0
1800.02/1800.10	c   coefdiving       :     105.74         24          0
1800.02/1800.10	c   veclendiving     :      60.76         24          0
1800.02/1800.10	c   intshifting      :       0.19         24          0
1800.02/1800.10	c   pscostdiving     :     110.44         24          0
1800.02/1800.10	c   trivial          :       0.18          2          0
1800.02/1800.10	c   simplerounding   :       0.09      20873          0
1800.02/1800.10	c   zirounding       :       0.21       1000          0
1800.02/1800.10	c   rounding         :       0.81       1996          0
1800.02/1800.10	c   shifting         :       4.57        578          0
1800.02/1800.10	c   twoopt           :       0.00          0          0
1800.02/1800.10	c   fixandinfer      :       0.00          0          0
1800.02/1800.10	c   intdiving        :       0.00          0          0
1800.02/1800.10	c   actconsdiving    :       0.00          0          0
1800.02/1800.10	c   octane           :       0.00          0          0
1800.02/1800.10	c   rens             :       0.10          1          0
1800.02/1800.10	c   rins             :       0.00          0          0
1800.02/1800.10	c   localbranching   :       0.00          0          0
1800.02/1800.10	c   mutation         :       0.00          0          0
1800.02/1800.10	c   dins             :       0.00          0          0
1800.02/1800.10	c   undercover       :       0.00          0          0
1800.02/1800.10	c   nlp              :       0.01          0          0
1800.02/1800.10	c   trysol           :       2.36        704          0
1800.02/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.10	c   primal LP        :       0.01          0          0       0.00       0.00
1800.02/1800.10	c   dual LP          :     792.69      20873    1243823      59.59    1569.12
1800.02/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.10	c   diving/probing LP:     343.70      52078     455543       8.75    1325.41
1800.02/1800.10	c   strong branching :     415.35       8106     575083      70.95    1384.57
1800.02/1800.10	c     (at root node) :          -         20      15450     772.50          -
1800.02/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.10	c B&B Tree           :
1800.02/1800.10	c   number of runs   :          1
1800.02/1800.10	c   nodes            :      20873
1800.02/1800.10	c   nodes (total)    :      20873
1800.02/1800.10	c   nodes left       :      20864
1800.02/1800.10	c   max depth        :        313
1800.02/1800.10	c   max depth (total):        313
1800.02/1800.10	c   backtracks       :        206 (1.0%)
1800.02/1800.10	c   delayed cutoffs  :          0
1800.02/1800.10	c   repropagations   :         63 (64 domain reductions, 0 cutoffs)
1800.02/1800.10	c   avg switch length:       2.19
1800.02/1800.10	c   switching time   :       5.58
1800.02/1800.10	c Solution           :
1800.02/1800.10	c   Solutions found  :          0 (0 improvements)
1800.02/1800.10	c   Primal Bound     :          -
1800.02/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.10	c   Gap              :   infinite
1800.02/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.10	c   Root Iterations  :      10954
1800.33/1800.30	c Time complete: 1800.33.

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-2692553-1277917532/watcher-2692553-1277917532 -o /tmp/evaluation-result-2692553-1277917532/solver-2692553-1277917532 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692553-1277917532.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.96 2.00 2.00 4/178 15469
/proc/meminfo: memFree=30666276/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=9436 CPUtime=0
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 1653 0 0 0 0 0 0 0 25 0 1 0 133049174 9662464 1573 4089446400 4194304 8223781 140734156321776 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15469/statm: 2359 1573 369 984 0 1372 0

[startup+0.096185 s]
/proc/loadavg: 1.96 2.00 2.00 4/178 15469
/proc/meminfo: memFree=30666276/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=27940 CPUtime=0.08
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 6302 0 0 0 8 0 0 0 25 0 1 0 133049174 28610560 6222 4089446400 4194304 8223781 140734156321776 18446744073709551615 7189488 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15469/statm: 6985 6222 369 984 0 5998 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27940

[startup+0.101165 s]
/proc/loadavg: 1.96 2.00 2.00 4/178 15469
/proc/meminfo: memFree=30666276/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=27940 CPUtime=0.09
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 6304 0 0 0 9 0 0 0 25 0 1 0 133049174 28610560 6224 4089446400 4194304 8223781 140734156321776 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15469/statm: 6985 6224 369 984 0 5998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27940

[startup+0.301136 s]
/proc/loadavg: 1.96 2.00 2.00 4/178 15469
/proc/meminfo: memFree=30666276/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=88904 CPUtime=0.29
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 21793 0 0 0 27 2 0 0 25 0 1 0 133049174 91037696 21286 4089446400 4194304 8223781 140734156321776 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 22226 21286 405 984 0 21239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88904

[startup+0.701064 s]
/proc/loadavg: 1.96 2.00 2.00 4/178 15469
/proc/meminfo: memFree=30666276/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=109780 CPUtime=0.69
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 26612 0 0 0 65 4 0 0 25 0 1 0 133049174 112414720 25848 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 27445 25848 449 984 0 26458 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109780

[startup+1.50094 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 15470
/proc/meminfo: memFree=30563976/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=115560 CPUtime=1.49
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 33000 0 0 0 141 8 0 0 25 0 1 0 133049174 118333440 27362 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 28890 27362 486 984 0 27903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115560

[startup+3.10064 s]
/proc/loadavg: 1.96 2.00 2.00 3/179 15470
/proc/meminfo: memFree=30558396/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=116768 CPUtime=3.1
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 33274 0 0 0 299 11 0 0 25 0 1 0 133049174 119570432 27636 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 29192 27636 491 984 0 28205 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 116768

[startup+6.30108 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 15470
/proc/meminfo: memFree=30540392/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=136896 CPUtime=6.29
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 41111 0 0 0 614 15 0 0 25 0 1 0 133049174 140181504 32123 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 34224 32123 589 984 0 33237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 136896

[startup+12.701 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 15470
/proc/meminfo: memFree=30539104/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=138644 CPUtime=12.69
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 67254 0 0 0 1247 22 0 0 25 0 1 0 133049174 141971456 32612 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 34661 32612 602 984 0 33674 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138644

[startup+25.5007 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 15471
/proc/meminfo: memFree=30539600/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=138312 CPUtime=25.49
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 105648 0 0 0 2519 30 0 0 25 0 1 0 133049174 141631488 32564 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 34578 32564 602 984 0 33591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 138312

[startup+51.1002 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 15472
/proc/meminfo: memFree=30520460/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=138108 CPUtime=51.09
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 192303 0 0 0 5063 46 0 0 25 0 1 0 133049174 141422592 32470 4089446400 4194304 8223781 140734156321776 18446744073709551615 6569745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 34527 32470 602 984 0 33540 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138108

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15473
/proc/meminfo: memFree=30450484/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=138720 CPUtime=102.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 376610 0 0 0 10147 83 0 0 25 0 1 0 133049174 142049280 32669 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 34680 32669 602 984 0 33693 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 138720

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15474
/proc/meminfo: memFree=30364148/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=142560 CPUtime=162.29
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 650542 0 0 0 16091 138 0 0 25 0 1 0 133049174 145981440 33500 4089446400 4194304 8223781 140734156321776 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 35640 33500 611 984 0 34653 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 142560

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15476
/proc/meminfo: memFree=30342308/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=142536 CPUtime=222.29
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 893802 0 0 0 22046 183 0 0 25 0 1 0 133049174 145956864 33542 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 35634 33542 606 984 0 34647 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 142536

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 15478
/proc/meminfo: memFree=30257952/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=146980 CPUtime=282.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 1167981 0 0 0 27996 234 0 0 25 0 1 0 133049174 150507520 34495 4089446400 4194304 8223781 140734156321776 18446744073709551615 6592531 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 36745 34498 606 984 0 35758 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 146980

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15480
/proc/meminfo: memFree=30146316/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=147020 CPUtime=342.29
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 1412233 0 0 0 33953 276 0 0 25 0 1 0 133049174 150548480 34678 4089446400 4194304 8223781 140734156321776 18446744073709551615 6520494 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 36755 34678 606 984 0 35768 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 147020

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15481
/proc/meminfo: memFree=30042728/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=147132 CPUtime=402.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 1690525 0 0 0 39905 325 0 0 25 0 1 0 133049174 150663168 34540 4089446400 4194304 8223781 140734156321776 18446744073709551615 6536462 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 36783 34540 606 984 0 35796 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 147132

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15482
/proc/meminfo: memFree=29949320/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=151228 CPUtime=462.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 2092037 0 0 0 45840 390 0 0 25 0 1 0 133049174 154857472 35755 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 37807 35755 606 984 0 36820 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 151228

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15484
/proc/meminfo: memFree=29829124/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=159632 CPUtime=522.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 2549898 0 0 0 51762 468 0 0 25 0 1 0 133049174 163463168 37757 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 39908 37757 606 984 0 38921 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 159632

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15486
/proc/meminfo: memFree=29821896/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=166880 CPUtime=582.3
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 2906254 0 0 0 57701 529 0 0 25 0 1 0 133049174 170885120 39546 4089446400 4194304 8223781 140734156321776 18446744073709551615 6445370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 41720 39546 606 984 0 40733 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 166880

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15488
/proc/meminfo: memFree=29812812/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=169292 CPUtime=642.31
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 3232017 0 0 0 63644 587 0 0 25 0 1 0 133049174 173355008 40168 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 42323 40168 606 984 0 41336 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 169292

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15496
/proc/meminfo: memFree=29448308/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=187640 CPUtime=942.31
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 4914270 0 0 0 93349 882 0 0 25 0 1 0 133049174 192143360 44761 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 46910 44761 606 984 0 45923 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 187640

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15497
/proc/meminfo: memFree=29323400/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=193556 CPUtime=1002.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 5264282 0 0 0 99287 945 0 0 25 0 1 0 133049174 198201344 46243 4089446400 4194304 8223781 140734156321776 18446744073709551615 6004029 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 48389 46243 606 984 0 47402 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 193556

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15498
/proc/meminfo: memFree=29226268/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=199624 CPUtime=1062.31
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 5579116 0 0 0 105227 1004 0 0 25 0 1 0 133049174 204414976 47801 4089446400 4194304 8223781 140734156321776 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 49906 47801 606 984 0 48919 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 199624

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15500
/proc/meminfo: memFree=29110652/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=204124 CPUtime=1122.31
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 5826325 0 0 0 111176 1055 0 0 25 0 1 0 133049174 209022976 49006 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 51031 49006 606 984 0 50044 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 204124

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15502
/proc/meminfo: memFree=29011672/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=210796 CPUtime=1182.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 6090800 0 0 0 117123 1109 0 0 25 0 1 0 133049174 215855104 50704 4089446400 4194304 8223781 140734156321776 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 52699 50704 606 984 0 51712 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 210796

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15504
/proc/meminfo: memFree=28929420/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=213388 CPUtime=1242.31
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 6428758 0 0 0 123065 1166 0 0 25 0 1 0 133049174 218509312 51347 4089446400 4194304 8223781 140734156321776 18446744073709551615 6571311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 53347 51347 606 984 0 52360 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 213388

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15505
/proc/meminfo: memFree=28822236/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=216532 CPUtime=1302.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 6785120 0 0 0 129004 1228 0 0 25 0 1 0 133049174 221728768 52009 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 54133 52009 606 984 0 53146 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 216532

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15506
/proc/meminfo: memFree=28735028/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=221124 CPUtime=1362.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 7132346 0 0 0 134939 1293 0 0 25 0 1 0 133049174 226430976 53201 4089446400 4194304 8223781 140734156321776 18446744073709551615 6538084 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 55281 53201 606 984 0 54294 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 221124

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15508
/proc/meminfo: memFree=28644100/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=225572 CPUtime=1422.33
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 7461286 0 0 0 140878 1355 0 0 25 0 1 0 133049174 230985728 54421 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15469/statm: 56393 54421 606 984 0 55406 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 225572

[startup+1482.3 s]
/proc/loadavg: 2.46 2.12 2.04 3/197 15751
/proc/meminfo: memFree=30722284/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=230068 CPUtime=1482.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 7829208 0 0 0 146805 1427 0 0 25 0 1 0 133049174 235589632 55535 4089446400 4194304 8223781 140734156321776 18446744073709551615 6448634 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 57517 55535 606 984 0 56530 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 230068

[startup+1542.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/197 15753
/proc/meminfo: memFree=30684616/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=236416 CPUtime=1542.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 8147464 0 0 0 152726 1506 0 0 25 0 1 0 133049174 242089984 57116 4089446400 4194304 8223781 140734156321776 18446744073709551615 6559350 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 59104 57116 606 984 0 58117 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 236416

[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 2.04 3/197 15830
/proc/meminfo: memFree=30671220/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=242212 CPUtime=1602.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 8425323 0 0 0 158645 1587 0 0 25 0 1 0 133049174 248025088 58567 4089446400 4194304 8223781 140734156321776 18446744073709551615 6569392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15469/statm: 60553 58567 606 984 0 59566 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 242212

[startup+1662.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/197 15831
/proc/meminfo: memFree=30646756/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=247576 CPUtime=1662.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 8677551 0 0 0 164569 1663 0 0 25 0 1 0 133049174 253517824 59875 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 61894 59875 606 984 0 60907 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 247576

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/197 15833
/proc/meminfo: memFree=30640628/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=252792 CPUtime=1722.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 8914304 0 0 0 170502 1730 0 0 25 0 1 0 133049174 258859008 61207 4089446400 4194304 8223781 140734156321776 18446744073709551615 6448516 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 63198 61207 606 984 0 62211 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 252792

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/197 15835
/proc/meminfo: memFree=30637616/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=256252 CPUtime=1782.32
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 9205722 0 0 0 176432 1800 0 0 25 0 1 0 133049174 262402048 61899 4089446400 4194304 8223781 140734156321776 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 64063 61899 606 984 0 63076 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 256252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.05 2.02 3/197 15835
/proc/meminfo: memFree=30635620/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=258452 CPUtime=1800.02
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 9292497 0 0 0 178182 1820 0 0 25 0 1 0 133049174 264654848 62532 4089446400 4194304 8223781 140734156321776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/15469/statm: 64613 62532 606 984 0 63626 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 258452

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.05 2.02 3/197 15835
/proc/meminfo: memFree=30635620/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=170428 CPUtime=1800.22
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 9292682 0 0 0 178201 1821 0 0 25 0 1 0 133049174 174518272 40539 4089446400 4194304 8223781 140734156321776 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15469/statm: 42607 40539 607 984 0 41620 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 170428

[startup+1800.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/197 15835
/proc/meminfo: memFree=30635620/32951124 swapFree=67111528/67111528
[pid=15469] ppid=15467 vsize=52012 CPUtime=1800.33
/proc/15469/stat : 15469 (pbscip.linux.x8) R 15467 15469 14376 0 -1 4202496 9292682 0 0 0 178211 1822 0 0 25 0 1 0 133049174 53260288 12142 4089446400 4194304 8223781 140734156321776 18446744073709551615 4700009 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/15469/statm: 13003 12139 607 984 0 12016 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 52012

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.34
CPU user time (s): 1782.11
CPU system time (s): 18.2232
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 259344

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

runsolver used 2.46362 second user time and 5.73713 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 19:05:32
IDJOB=2692553
IDBENCH=79091
IDSOLVER=1204
FILE ID=node136/2692553-1277917532
PBS_JOBID= 11197270
Free space on /tmp= 74136 MiB

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

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

MD5SUM BENCH= c8727fb292de6f0ef34aa00aa6399d46
RANDOM SEED=508846244

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30666688 kB
Buffers:        201436 kB
Cached:        1377868 kB
SwapCached:          0 kB
Active:        1222808 kB
Inactive:       913472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30666688 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5236 kB
Writeback:           0 kB
AnonPages:      556524 kB
Mapped:          15020 kB
Slab:            82388 kB
PageTables:       5768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   703948 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 node136 at 2010-06-30 19:35:34