Trace number 2692535

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9015_10-unsat--soft-66-100-0.wbo
MD5SUMc52ec7834abd1e8394b3225d7d9a7136
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark0.136978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables14196
Total number of constraints44553
Number of soft constraints15324
Number of constraints which are clauses44245
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 775307
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 775306
Biggest number in a constraint 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 565
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692535-1277917063.wbo>
0.29/0.39	c original problem has 44844 variables (29520 bin, 0 int, 0 impl, 15324 cont) and 59878 constraints
0.29/0.39	c problem read
0.29/0.39	c presolving settings loaded
1.09/1.18	c presolving:
1.49/1.52	c (round 1) 1326 del vars, 4296 del conss, 797 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 533782 impls, 0 clqs
1.79/1.80	c (round 2) 4013 del vars, 13150 del conss, 1938 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 548604 impls, 0 clqs
1.99/2.10	c (round 3) 8698 del vars, 20738 del conss, 2661 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 554550 impls, 0 clqs
2.20/2.29	c (round 4) 13529 del vars, 25264 del conss, 3114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 558191 impls, 0 clqs
2.39/2.40	c (round 5) 16635 del vars, 27903 del conss, 3415 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 560612 impls, 0 clqs
2.39/2.48	c (round 6) 18604 del vars, 29618 del conss, 3617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 562899 impls, 0 clqs
2.49/2.53	c (round 7) 19806 del vars, 30757 del conss, 3774 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 564133 impls, 0 clqs
2.49/2.58	c (round 8) 20593 del vars, 31562 del conss, 3881 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 564633 impls, 0 clqs
2.59/2.61	c (round 9) 21132 del vars, 32147 del conss, 3944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 564905 impls, 0 clqs
2.59/2.64	c (round 10) 21507 del vars, 32461 del conss, 3972 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565075 impls, 0 clqs
2.59/2.66	c (round 11) 21740 del vars, 32621 del conss, 3987 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565133 impls, 0 clqs
2.59/2.68	c (round 12) 21861 del vars, 32701 del conss, 3996 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565169 impls, 0 clqs
2.59/2.69	c (round 13) 21918 del vars, 32737 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565169 impls, 0 clqs
2.69/2.71	c (round 14) 21943 del vars, 32747 del conss, 3999 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565169 impls, 0 clqs
2.69/2.75	c (round 15) 21952 del vars, 32747 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 565169 impls, 0 clqs
2.89/2.92	c (round 16) 21952 del vars, 32747 del conss, 11550 chg bounds, 0 chg sides, 0 chg coeffs, 12815 upgd conss, 565169 impls, 0 clqs
6.60/6.60	c    (6.1s) probing: 1000/15341 (6.5%) - 0 fixings, 0 aggregations, 33272 implications, 0 bound changes
8.99/9.00	c    (8.4s) probing: 2000/15341 (13.0%) - 0 fixings, 0 aggregations, 38343 implications, 0 bound changes
8.99/9.01	c    (8.4s) probing: 2001/15341 (13.0%) - 0 fixings, 0 aggregations, 38345 implications, 0 bound changes
8.99/9.01	c    (8.4s) probing aborted: 2000/2000 successive useless probings
8.99/9.01	c presolving (17 rounds):
8.99/9.01	c  21952 deleted vars, 32747 deleted constraints, 11550 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.99/9.01	c  717657 implications, 0 cliques
8.99/9.01	c presolved problem has 22892 variables (15341 bin, 0 int, 0 impl, 7551 cont) and 27131 constraints
8.99/9.01	c    7551 constraints of type <indicator>
8.99/9.01	c     786 constraints of type <varbound>
8.99/9.01	c     202 constraints of type <knapsack>
8.99/9.01	c    6765 constraints of type <linear>
8.99/9.01	c   11827 constraints of type <logicor>
8.99/9.01	c transformed objective value is always integral (scale: 1)
8.99/9.01	c Presolving Time: 8.32
8.99/9.01	c - non default parameters ----------------------------------------------------------------------
8.99/9.01	c # SCIP version 1.2.1.2
8.99/9.01	c 
8.99/9.01	c # frequency for displaying node information lines
8.99/9.01	c # [type: int, range: [-1,2147483647], default: 100]
8.99/9.01	c display/freq = 10000
8.99/9.01	c 
8.99/9.01	c # maximal time in seconds to run
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.01	c limits/time = 1799.62
8.99/9.01	c 
8.99/9.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.99/9.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.01	c limits/memory = 3420
8.99/9.01	c 
8.99/9.01	c # should presolving try to simplify inequalities
8.99/9.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.01	c constraints/linear/simplifyinequalities = TRUE
8.99/9.01	c 
8.99/9.01	c # should presolving try to simplify knapsacks
8.99/9.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.01	c constraints/knapsack/simplifyinequalities = TRUE
8.99/9.01	c 
8.99/9.01	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.99/9.01	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.01	c separating/rapidlearning/freq = 0
8.99/9.01	c 
8.99/9.01	c -----------------------------------------------------------------------------------------------
8.99/9.01	c start solving
8.99/9.02	c 
9.09/9.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.09/9.15	c   8.6s|     1 |     0 |   418 |     - | 156M|   0 | 136 |  22k|  27k|  22k|  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.52	c  10.9s|     1 |     0 |  2832 |     - | 157M|   0 | 183 |  22k|  27k|  22k|  12k| 715 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.49/13.55	c  12.9s|     1 |     0 |  3978 |     - | 158M|   0 | 237 |  22k|  27k|  22k|  13k|1066 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.79/15.81	c  15.2s|     1 |     0 |  5223 |     - | 158M|   0 | 420 |  22k|  27k|  22k|  13k|1340 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.79/18.80	c  18.1s|     1 |     0 |  7272 |     - | 159M|   0 | 571 |  22k|  27k|  22k|  13k|1647 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.78/21.88	c  21.2s|     1 |     0 |  9031 |     - | 159M|   0 | 634 |  22k|  27k|  22k|  13k|1920 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.99/27.00	c  26.3s|     1 |     0 | 11947 |     - | 160M|   0 | 886 |  22k|  27k|  22k|  14k|2218 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
55.79/55.85	c  55.0s|     1 |     2 | 11947 |     - | 161M|   0 | 886 |  22k|  27k|  22k|  14k|2218 |   0 |  27 | 0.000000e+00 |      --      |    Inf 
1800.00/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.01	c 
1800.00/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.01	c Solving Time (sec) : 1787.93
1800.00/1800.01	c Solving Nodes      : 968
1800.00/1800.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.00/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.00/1800.01	c Gap                : infinite
1800.00/1800.01	s UNKNOWN
1800.00/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.01	c Solving Time       :    1787.93
1800.00/1800.01	c Original Problem   :
1800.00/1800.01	c   Problem name     : HOME/instance-2692535-1277917063.wbo
1800.00/1800.01	c   Variables        : 44844 (29520 binary, 0 integer, 0 implicit integer, 15324 continuous)
1800.00/1800.01	c   Constraints      : 59878 initial, 59878 maximal
1800.00/1800.01	c Presolved Problem  :
1800.00/1800.01	c   Problem name     : t_HOME/instance-2692535-1277917063.wbo
1800.00/1800.01	c   Variables        : 22892 (15341 binary, 0 integer, 0 implicit integer, 7551 continuous)
1800.00/1800.01	c   Constraints      : 27131 initial, 27185 maximal
1800.00/1800.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.00/1800.01	c   trivial          :       0.03        188          0          0          0          0          0          0          0
1800.00/1800.01	c   dualfix          :       0.05      16412          0          0          0          0          0          0          0
1800.00/1800.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.01	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.00/1800.01	c   probing          :       5.96          0          0          0          0          0          0          0          0
1800.00/1800.01	c   indicator        :       0.42          0          0          0          0          0       7773          0          0
1800.00/1800.01	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.01	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
1800.00/1800.01	c   linear           :       1.04       3811       1541          0      11550          0      24974          0          0
1800.00/1800.01	c   logicor          :       0.03          0          0          0          0          0          0          0          0
1800.00/1800.01	c   root node        :          -          0          -          -          0          -          -          -          -
1800.00/1800.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.01	c   integral         :          0          0          0        968          0          0          0          0          0       1936
1800.00/1800.01	c   indicator        :       7551          0      51246          0          0          0        461          0          0          0
1800.00/1800.01	c   varbound         :        786          6      51246          0          0          0         69        478          0          0
1800.00/1800.01	c   knapsack         :        202          6      51246          0          0          0          0        430          0          0
1800.00/1800.01	c   linear           :       6765          6      51246          0          0          0         84       1200          0          0
1800.00/1800.01	c   logicor          :      11827+         6      41638          0          0          0      13675          0          0          0
1800.00/1800.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.00/1800.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.00/1800.01	c   integral         :     495.37       0.00       0.00     495.37       0.00
1800.00/1800.01	c   indicator        :       7.59       0.00       7.59       0.00       0.00
1800.00/1800.01	c   varbound         :       0.76       0.00       0.76       0.00       0.00
1800.00/1800.01	c   knapsack         :       0.72       0.00       0.72       0.00       0.00
1800.00/1800.01	c   linear           :       6.49       0.01       6.48       0.00       0.00
1800.00/1800.01	c   logicor          :       0.56       0.01       0.55       0.00       0.00
1800.00/1800.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.00/1800.01	c   vbounds          :       2.10       9349          0        308
1800.00/1800.01	c   rootredcost      :       0.04          0          0          0
1800.00/1800.01	c   pseudoobj        :       9.05      40727          0          0
1800.00/1800.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.00/1800.01	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.00/1800.01	c   infeasible LP    :       0.18         51         51         54       11.8          0        0.0          0
1800.00/1800.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.00/1800.01	c   applied globally :          -          -          -         54       11.8          -          -          -
1800.00/1800.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.00/1800.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.00/1800.01	c   cut pool         :       0.01          5          -          -        169          -    (maximal pool size: 1320)
1800.00/1800.01	c   redcost          :       1.14        973          0          0          0          0
1800.00/1800.01	c   impliedbounds    :       0.02          6          0          0        347          0
1800.00/1800.01	c   intobj           :       0.00          0          0          0          0          0
1800.00/1800.01	c   cgmip            :       0.00          0          0          0          0          0
1800.00/1800.01	c   gomory           :       2.06          6          0          0       1661          0
1800.00/1800.01	c   strongcg         :       1.75          6          0          0        544          0
1800.00/1800.01	c   cmir             :       1.28          6          0          0         21          0
1800.00/1800.01	c   flowcover        :       4.11          6          0          0        561          0
1800.00/1800.01	c   clique           :       0.22          6          0          0         36          0
1800.00/1800.01	c   zerohalf         :       0.00          0          0          0          0          0
1800.00/1800.01	c   mcf              :       0.02          1          0          0          0          0
1800.00/1800.01	c   rapidlearning    :       0.00          0          0          0          0          0
1800.00/1800.01	c Pricers            :       Time      Calls       Vars
1800.00/1800.01	c   problem variables:       0.00          0          0
1800.00/1800.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.01	c   relpscost        :     495.37        968          0          0          0          0       1936
1800.00/1800.01	c   pscost           :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   inference        :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   mostinf          :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   leastinf         :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.00/1800.01	c   random           :       0.00          0          0          0          0          0          0
1800.00/1800.01	c Primal Heuristics  :       Time      Calls      Found
1800.00/1800.01	c   LP solutions     :       0.00          -          0
1800.00/1800.01	c   pseudo solutions :       0.00          -          0
1800.00/1800.01	c   oneopt           :       0.00          0          0
1800.00/1800.01	c   crossover        :       0.00          0          0
1800.00/1800.01	c   guideddiving     :       0.01          0          0
1800.00/1800.01	c   objpscostdiving  :      50.47          2          0
1800.00/1800.01	c   veclendiving     :      84.19          5          0
1800.00/1800.01	c   pscostdiving     :     103.31          6          0
1800.00/1800.01	c   linesearchdiving :     132.36          6          0
1800.00/1800.01	c   rootsoldiving    :      15.03          3          0
1800.00/1800.01	c   coefdiving       :     125.83          7          0
1800.00/1800.01	c   fracdiving       :     138.18          8          0
1800.00/1800.01	c   intshifting      :       0.28         13          0
1800.00/1800.01	c   feaspump         :       8.88          8          0
1800.00/1800.01	c   trivial          :       0.62          2          0
1800.00/1800.01	c   simplerounding   :       0.00        974          0
1800.00/1800.01	c   zirounding       :       0.38        968          0
1800.00/1800.01	c   rounding         :       0.31        394          0
1800.00/1800.01	c   shifting         :       1.91        102          0
1800.00/1800.01	c   twoopt           :       0.00          0          0
1800.00/1800.01	c   fixandinfer      :       0.00          0          0
1800.00/1800.01	c   intdiving        :       0.00          0          0
1800.00/1800.01	c   actconsdiving    :       0.00          0          0
1800.00/1800.01	c   octane           :       0.00          0          0
1800.00/1800.01	c   rens             :       0.19          1          0
1800.00/1800.01	c   rins             :       0.00          0          0
1800.00/1800.01	c   localbranching   :       0.00          0          0
1800.00/1800.01	c   mutation         :       0.00          0          0
1800.00/1800.01	c   dins             :       0.00          0          0
1800.00/1800.01	c   undercover       :       0.00          0          0
1800.00/1800.01	c   nlp              :       0.00          0          0
1800.00/1800.01	c   trysol           :       0.97        117          0
1800.00/1800.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.00/1800.01	c   primal LP        :       0.01          0          0       0.00       0.00
1800.00/1800.01	c   dual LP          :     602.94        974     535876     550.18     888.77
1800.00/1800.01	c   lex dual LP      :       0.00          0          0       0.00          -
1800.00/1800.01	c   barrier LP       :       0.00          0          0       0.00          -
1800.00/1800.01	c   diving/probing LP:     568.63      16610     463138      27.88     814.48
1800.00/1800.01	c   strong branching :     495.04       1163     395465     340.04     798.85
1800.00/1800.01	c     (at root node) :          -         27      25728     952.89          -
1800.00/1800.01	c   conflict analysis:       0.00          0          0       0.00          -
1800.00/1800.01	c B&B Tree           :
1800.00/1800.01	c   number of runs   :          1
1800.00/1800.01	c   nodes            :        968
1800.00/1800.01	c   nodes (total)    :        968
1800.00/1800.01	c   nodes left       :        969
1800.00/1800.01	c   max depth        :         95
1800.00/1800.01	c   max depth (total):         95
1800.00/1800.01	c   backtracks       :        111 (11.5%)
1800.00/1800.01	c   delayed cutoffs  :          0
1800.00/1800.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.00/1800.01	c   avg switch length:       2.78
1800.00/1800.01	c   switching time   :       0.68
1800.00/1800.01	c Solution           :
1800.00/1800.01	c   Solutions found  :          0 (0 improvements)
1800.00/1800.01	c   Primal Bound     :          -
1800.00/1800.01	c   Dual Bound       : +0.00000000000000e+00
1800.00/1800.01	c   Gap              :   infinite
1800.00/1800.01	c   Root Dual Bound  : +0.00000000000000e+00
1800.00/1800.01	c   Root Iterations  :      11947
1800.30/1800.38	c Time complete: 1800.38.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692535-1277917063/watcher-2692535-1277917063 -o /tmp/evaluation-result-2692535-1277917063/solver-2692535-1277917063 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692535-1277917063.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.31 2.07 2.02 4/176 14803
/proc/meminfo: memFree=30570084/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=9296 CPUtime=0
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 1620 0 0 0 0 0 0 0 25 0 1 0 133002609 9519104 1539 4089446400 4194304 8223781 140735405802064 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14803/statm: 2324 1540 369 984 0 1337 0

[startup+0.00703309 s]
/proc/loadavg: 2.31 2.07 2.02 4/176 14803
/proc/meminfo: memFree=30570084/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=9800 CPUtime=0
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 1749 0 0 0 0 0 0 0 25 0 1 0 133002609 10035200 1668 4089446400 4194304 8223781 140735405802064 18446744073709551615 7356799 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14803/statm: 2450 1668 369 984 0 1463 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9800

[startup+0.101082 s]
/proc/loadavg: 2.31 2.07 2.02 4/176 14803
/proc/meminfo: memFree=30570084/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=30040 CPUtime=0.09
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 6806 0 0 0 9 0 0 0 25 0 1 0 133002609 30760960 6725 4089446400 4194304 8223781 140735405802064 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14803/statm: 7510 6725 369 984 0 6523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30040

[startup+0.30105 s]
/proc/loadavg: 2.31 2.07 2.02 4/176 14803
/proc/meminfo: memFree=30570084/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=60480 CPUtime=0.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 14436 0 0 0 29 0 0 0 25 0 1 0 133002609 61931520 14355 4089446400 4194304 8223781 140735405802064 18446744073709551615 4240589 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14803/statm: 15120 14355 369 984 0 14133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60480

[startup+0.700969 s]
/proc/loadavg: 2.31 2.07 2.02 4/176 14803
/proc/meminfo: memFree=30570084/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=175312 CPUtime=0.69
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 42083 0 0 0 66 3 0 0 25 0 1 0 133002609 179519488 41602 4089446400 4194304 8223781 140735405802064 18446744073709551615 7257334 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 43828 41602 422 984 0 42841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 175312

[startup+1.50083 s]
/proc/loadavg: 2.31 2.07 2.02 3/177 14804
/proc/meminfo: memFree=30402552/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=196068 CPUtime=1.49
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 47433 0 0 0 144 5 0 0 25 0 1 0 133002609 200773632 46952 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 49017 46952 449 984 0 48030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196068

[startup+3.10054 s]
/proc/loadavg: 2.31 2.07 2.02 4/177 14804
/proc/meminfo: memFree=30379736/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=206452 CPUtime=3.09
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 56628 0 0 0 295 14 0 0 25 0 1 0 133002609 211406848 49527 4089446400 4194304 8223781 140735405802064 18446744073709551615 5497083 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 51613 49527 496 984 0 50626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206452

[startup+6.30099 s]
/proc/loadavg: 2.28 2.06 2.02 3/177 14804
/proc/meminfo: memFree=30364632/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=208376 CPUtime=6.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 57082 0 0 0 613 16 0 0 25 0 1 0 133002609 213377024 49981 4089446400 4194304 8223781 140735405802064 18446744073709551615 4659897 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 52094 49981 496 984 0 51107 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 208376

[startup+12.7009 s]
/proc/loadavg: 2.26 2.06 2.02 3/177 14804
/proc/meminfo: memFree=30325636/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=244216 CPUtime=12.69
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 68162 0 0 0 1245 24 0 0 25 0 1 0 133002609 250077184 57875 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 61054 57875 605 984 0 60067 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 244216

[startup+25.5007 s]
/proc/loadavg: 2.20 2.06 2.02 3/177 14804
/proc/meminfo: memFree=30304660/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=252024 CPUtime=25.49
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 81979 0 0 0 2518 31 0 0 25 0 1 0 133002609 258072576 59753 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63006 59753 593 984 0 62019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 252024

[startup+51.1002 s]
/proc/loadavg: 2.19 2.07 2.02 3/177 14806
/proc/meminfo: memFree=30280692/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=252016 CPUtime=51.09
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 165223 0 0 0 5062 47 0 0 25 0 1 0 133002609 258064384 59488 4089446400 4194304 8223781 140735405802064 18446744073709551615 6538084 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63004 59488 602 984 0 62017 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 252016

[startup+102.306 s]
/proc/loadavg: 2.08 2.05 2.02 3/177 14806
/proc/meminfo: memFree=30221276/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=252396 CPUtime=102.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 303730 0 0 0 10157 73 0 0 25 0 1 0 133002609 258453504 59841 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568277 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63099 59841 602 984 0 62112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 252396

[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/177 14808
/proc/meminfo: memFree=30159000/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=252416 CPUtime=162.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 452784 0 0 0 16130 99 0 0 25 0 1 0 133002609 258473984 59870 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63104 59870 602 984 0 62117 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 252416

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14819
/proc/meminfo: memFree=30092308/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=252344 CPUtime=222.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 596128 0 0 0 22105 124 0 0 25 0 1 0 133002609 258400256 59885 4089446400 4194304 8223781 140735405802064 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63086 59885 602 984 0 62099 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 252344

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14821
/proc/meminfo: memFree=30016876/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=261788 CPUtime=282.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 921454 0 0 0 28060 169 0 0 25 0 1 0 133002609 268070912 62141 4089446400 4194304 8223781 140735405802064 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 65447 62141 602 984 0 64460 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 261788

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14823
/proc/meminfo: memFree=29955956/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=257672 CPUtime=342.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 1161971 0 0 0 34020 209 0 0 25 0 1 0 133002609 263856128 61174 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 64418 61174 602 984 0 63431 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 257672

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14823
/proc/meminfo: memFree=29887224/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=257612 CPUtime=402.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 1603804 0 0 0 39964 265 0 0 25 0 1 0 133002609 263794688 61138 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568514 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 64403 61138 602 984 0 63416 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 257612

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14825
/proc/meminfo: memFree=29824324/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=254436 CPUtime=462.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 1866217 0 0 0 45924 305 0 0 25 0 1 0 133002609 260542464 60384 4089446400 4194304 8223781 140735405802064 18446744073709551615 6571426 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 63609 60384 605 984 0 62622 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 254436

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14827
/proc/meminfo: memFree=29755712/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=256596 CPUtime=522.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 2094079 0 0 0 51891 339 0 0 25 0 1 0 133002609 262754304 60883 4089446400 4194304 8223781 140735405802064 18446744073709551615 6537800 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 64149 60883 605 984 0 63162 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 256596

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14829
/proc/meminfo: memFree=29691068/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=258224 CPUtime=582.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 2396343 0 0 0 57849 381 0 0 25 0 1 0 133002609 264421376 60991 4089446400 4194304 8223781 140735405802064 18446744073709551615 6592531 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 64556 61012 605 984 0 63569 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 258224

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14831
/proc/meminfo: memFree=29624684/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=259552 CPUtime=642.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 2634500 0 0 0 63810 420 0 0 25 0 1 0 133002609 265781248 61697 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 64888 61697 605 984 0 63901 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 259552

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 14867
/proc/meminfo: memFree=31083528/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=261636 CPUtime=942.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 3568917 0 0 0 93643 587 0 0 25 0 1 0 133002609 267915264 62478 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 65409 62478 605 984 0 64422 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 261636

[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14867
/proc/meminfo: memFree=31075780/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=261660 CPUtime=1002.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 3786082 0 0 0 99605 625 0 0 25 0 1 0 133002609 267939840 62440 4089446400 4194304 8223781 140735405802064 18446744073709551615 6162525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 65415 62440 605 984 0 64428 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 261660

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14869
/proc/meminfo: memFree=31066596/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=264656 CPUtime=1062.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 4191023 0 0 0 105546 684 0 0 25 0 1 0 133002609 271007744 63195 4089446400 4194304 8223781 140735405802064 18446744073709551615 6559490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14803/statm: 66164 63195 605 984 0 65177 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 264656

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14871
/proc/meminfo: memFree=31057508/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=264452 CPUtime=1122.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 4380403 0 0 0 111513 717 0 0 25 0 1 0 133002609 270798848 62992 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66113 62992 605 984 0 65126 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 264452

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14873
/proc/meminfo: memFree=31041868/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=265056 CPUtime=1182.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 4523494 0 0 0 117488 742 0 0 25 0 1 0 133002609 271417344 63300 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568409 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66264 63300 605 984 0 65277 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 265056

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14875
/proc/meminfo: memFree=31027076/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=264560 CPUtime=1242.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 4680736 0 0 0 123459 771 0 0 25 0 1 0 133002609 270909440 63183 4089446400 4194304 8223781 140735405802064 18446744073709551615 6569406 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66140 63183 605 984 0 65153 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 264560

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14875
/proc/meminfo: memFree=31008812/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=264376 CPUtime=1302.31
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 5041530 0 0 0 129404 827 0 0 25 0 1 0 133002609 270721024 63158 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66094 63158 605 984 0 65107 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 264376

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14877
/proc/meminfo: memFree=30991060/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=264408 CPUtime=1362.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 5201733 0 0 0 135376 854 0 0 25 0 1 0 133002609 270753792 63181 4089446400 4194304 8223781 140735405802064 18446744073709551615 6536486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66102 63181 605 984 0 65115 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 264408

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14879
/proc/meminfo: memFree=30975400/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=267456 CPUtime=1422.31
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 5450858 0 0 0 141336 895 0 0 25 0 1 0 133002609 273874944 63905 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66864 63905 605 984 0 65877 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 267456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14881
/proc/meminfo: memFree=30960868/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=267276 CPUtime=1482.31
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 5596252 0 0 0 147309 922 0 0 25 0 1 0 133002609 273690624 63692 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 66819 63692 613 984 0 65832 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 267276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14883
/proc/meminfo: memFree=30944216/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=268468 CPUtime=1542.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 5905152 0 0 0 153263 966 0 0 25 0 1 0 133002609 274911232 63916 4089446400 4194304 8223781 140735405802064 18446744073709551615 6571211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67117 63916 605 984 0 66130 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 268468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14883
/proc/meminfo: memFree=30925344/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=269452 CPUtime=1602.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 6220738 0 0 0 159218 1012 0 0 25 0 1 0 133002609 275918848 64426 4089446400 4194304 8223781 140735405802064 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67363 64426 605 984 0 66376 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 269452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14885
/proc/meminfo: memFree=30907932/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=269544 CPUtime=1662.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 6375707 0 0 0 165185 1045 0 0 25 0 1 0 133002609 276013056 64384 4089446400 4194304 8223781 140735405802064 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67386 64384 605 984 0 66399 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 269544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14887
/proc/meminfo: memFree=30891428/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=269516 CPUtime=1722.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 6760673 0 0 0 171126 1104 0 0 25 0 1 0 133002609 275984384 64152 4089446400 4194304 8223781 140735405802064 18446744073709551615 6537751 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67379 64152 605 984 0 66392 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 269516

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 14889
/proc/meminfo: memFree=30877508/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=271664 CPUtime=1782.29
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 7152972 0 0 0 177069 1160 0 0 25 0 1 0 133002609 278183936 64630 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67916 64630 605 984 0 66929 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 271664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14889
/proc/meminfo: memFree=30870064/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=271672 CPUtime=1800
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 7211219 0 0 0 178829 1171 0 0 25 0 1 0 133002609 278192128 64883 4089446400 4194304 8223781 140735405802064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14803/statm: 67918 64883 605 984 0 66931 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 271672

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

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

[startup+1800.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14889
/proc/meminfo: memFree=30870064/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=254156 CPUtime=1800.2
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 7211248 0 0 0 178849 1171 0 0 18 0 1 0 133002609 260255744 60872 4089446400 4194304 8223781 140735405802064 18446744073709551615 4332863 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14803/statm: 63539 60872 607 984 0 62552 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 254156

[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14889
/proc/meminfo: memFree=30870064/32951132 swapFree=67111528/67111528
[pid=14803] ppid=14801 vsize=245624 CPUtime=1800.3
/proc/14803/stat : 14803 (pbscip.linux.x8) R 14801 14803 13489 0 -1 4202496 7211248 0 0 0 178859 1171 0 0 18 0 1 0 133002609 251518976 58750 4089446400 4194304 8223781 140735405802064 18446744073709551615 6207086 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14803/statm: 61406 58750 607 984 0 60419 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 245624

Child status: 0
Real time (s): 1800.39
CPU time (s): 1800.39
CPU user time (s): 1788.67
CPU system time (s): 11.7262
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 316188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.67
system time used= 11.7262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7211252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1434

runsolver used 2.6206 second user time and 5.84911 second system time

The end

Launcher Data 

Begin job on node128 at 2010-06-30 18:57:43
IDJOB=2692535
IDBENCH=79084
IDSOLVER=1204
FILE ID=node128/2692535-1277917063
PBS_JOBID= 11197276
Free space on /tmp= 74204 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9015_10-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-2692535-1277917063/watcher-2692535-1277917063 -o /tmp/evaluation-result-2692535-1277917063/solver-2692535-1277917063 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692535-1277917063.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c52ec7834abd1e8394b3225d7d9a7136
RANDOM SEED=1732513067

node128.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.853
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.70
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.853
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.853
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.83
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.853
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.74
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.853
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.853
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.853
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.853
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:     32951132 kB
MemFree:      30570620 kB
Buffers:        202948 kB
Cached:        1021056 kB
SwapCached:          0 kB
Active:        1434928 kB
Inactive:       798428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30570620 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6276 kB
Writeback:           0 kB
AnonPages:     1009628 kB
Mapped:          17680 kB
Slab:            79740 kB
PageTables:       6540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  1159604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node128 at 2010-06-30 19:27:45