Trace number 3740542

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1802.17 1802.48

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9022_8.std.opb
MD5SUMeccc7cf79156068954cbdbfcd52f7893
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark0.235963
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184414
Number of constraints which are clauses183214
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint52
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.09/1.11	c SCIP version 1.1.0.7
1.09/1.11	c LP-Solver SoPlex 1.4.1
1.09/1.11	c user parameter file <scip.set> not found - using default parameters
1.09/1.11	c read problem <HOME/instance-3740542-1338762686.opb>
1.09/1.11	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184414 constraints
1.39/1.42	c start presolving problem
1.39/1.42	c presolving:
6.59/6.61	c (round 1) 4245 del vars, 12159 del conss, 3137 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12702492 impls, 0 clqs
8.89/8.92	c (round 2) 9118 del vars, 32245 del conss, 7684 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12727768 impls, 0 clqs
9.49/9.55	c (round 3) 10897 del vars, 40545 del conss, 8641 chg bounds, 20 chg sides, 21 chg coeffs, 0 upgd conss, 12740450 impls, 0 clqs
9.90/9.93	c (round 4) 11635 del vars, 43668 del conss, 9144 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12746231 impls, 0 clqs
10.08/10.16	c (round 5) 12082 del vars, 45630 del conss, 9419 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12749977 impls, 0 clqs
10.29/10.31	c (round 6) 12368 del vars, 46784 del conss, 9589 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12752544 impls, 0 clqs
10.39/10.44	c (round 7) 12584 del vars, 47665 del conss, 9704 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12755039 impls, 0 clqs
10.49/10.56	c (round 8) 12740 del vars, 48294 del conss, 9796 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12756813 impls, 0 clqs
10.58/10.67	c (round 9) 12876 del vars, 48814 del conss, 9872 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12758383 impls, 0 clqs
10.69/10.77	c (round 10) 12987 del vars, 49276 del conss, 9941 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12759459 impls, 0 clqs
10.79/10.86	c (round 11) 13075 del vars, 49649 del conss, 9989 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12760401 impls, 0 clqs
10.89/10.93	c (round 12) 13113 del vars, 49854 del conss, 10012 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12760655 impls, 0 clqs
10.89/11.00	c (round 13) 13133 del vars, 49953 del conss, 10023 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12760783 impls, 0 clqs
10.99/11.06	c (round 14) 13137 del vars, 49997 del conss, 10025 chg bounds, 57 chg sides, 65 chg coeffs, 0 upgd conss, 12760801 impls, 0 clqs
11.49/11.56	c (round 15) 13137 del vars, 50003 del conss, 10025 chg bounds, 57 chg sides, 65 chg coeffs, 134411 upgd conss, 12760801 impls, 0 clqs
12.48/12.54	c (round 16) 13137 del vars, 50011 del conss, 10025 chg bounds, 95 chg sides, 251 chg coeffs, 134411 upgd conss, 12760801 impls, 0 clqs
310.85/310.92	c    (308.4s) probing: 1000/41645 (2.4%) - 0 fixings, 0 aggregations, 9159891 implications, 0 bound changes
445.22/445.34	c    (442.5s) probing: 2000/41645 (4.8%) - 0 fixings, 0 aggregations, 14455357 implications, 0 bound changes
445.22/445.40	c    (442.5s) probing: 2001/41645 (4.8%) - 0 fixings, 0 aggregations, 14458687 implications, 0 bound changes
445.22/445.40	c    (442.5s) probing aborted: 2000/2000 successive useless probings
445.32/445.40	c presolving (17 rounds):
445.32/445.40	c  13137 deleted vars, 50015 deleted constraints, 10025 tightened bounds, 0 added holes, 102 changed sides, 270 changed coefficients
445.32/445.40	c  63827777 implications, 0 cliques
445.32/445.40	c presolved problem has 41645 variables (41645 bin, 0 int, 0 impl, 0 cont) and 134434 constraints
445.32/445.40	c    1095 constraints of type <knapsack>
445.32/445.40	c      25 constraints of type <setppc>
445.32/445.40	c  133314 constraints of type <logicor>
445.32/445.40	c transformed objective value is always integral (scale: 1)
445.32/445.40	c Presolving Time: 442.31
445.32/445.42	c OPT-LIN
445.32/445.42	c -----------------------------------------------------------------------------------------------
445.32/445.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
445.32/445.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
445.32/445.42	c limits/memory = c 13950
445.32/445.42	c # maximal time in seconds to run
445.32/445.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
445.32/445.42	c limits/time = c 1791
445.32/445.42	c # frequency for displaying node information lines
445.32/445.42	c # [type: int, range: [-1,2147483647], default: 100]
445.32/445.42	c display/freq = c 10000
445.32/445.42	c -----------------------------------------------------------------------------------------------
445.32/445.42	c start solving problem
445.32/445.42	c 
591.30/591.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
591.30/591.46	c   588s|     1 |     0 | 38754 |1889M|   0 | 340 |  41k| 134k| 134k|  41k| 134k|   0 |   0 |   0 | 9.700000e+01 |      --      |    Inf 
1801.89/1802.21	c  1791s|     1 |     0 |111699 |1894M|   0 |   - |  41k| 134k| 134k|  41k| 134k|  33 |   0 |   0 | 9.700000e+01 |      --      |    Inf 
1801.89/1802.26	c  1791s|     1 |     2 |111699 |1894M|   0 |   - |  41k| 134k| 134k|  41k| 134k|  33 |   0 |   0 | 9.700000e+01 |      --      |    Inf 
1801.89/1802.26	c 
1801.89/1802.26	c SCIP Status        : solving was interrupted [user interrupt]
1801.89/1802.26	c Solving Time (sec) : 1791.05
1801.89/1802.26	c Solving Nodes      : 1
1801.89/1802.26	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.89/1802.26	c Dual Bound         : +9.70000000000000e+01
1801.89/1802.26	c Gap                : infinite
1801.89/1802.26	c NODE         1
1801.89/1802.26	c DUAL BOUND   97
1801.89/1802.26	c PRIMAL BOUND 1e+20
1801.89/1802.26	c GAP          1e+20
1801.89/1802.26	s UNKNOWN
1801.89/1802.26	c SCIP Status        : solving was interrupted [user interrupt]
1801.89/1802.26	c Solving Time       :    1791.05
1801.89/1802.26	c Original Problem   :
1801.89/1802.26	c   Problem name     : HOME/instance-3740542-1338762686.opb
1801.89/1802.26	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.89/1802.26	c   Constraints      : 184414 initial, 184414 maximal
1801.89/1802.26	c Presolved Problem  :
1801.89/1802.26	c   Problem name     : t_HOME/instance-3740542-1338762686.opb
1801.89/1802.26	c   Variables        : 41645 (41645 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.89/1802.26	c   Constraints      : 134434 initial, 134434 maximal
1801.89/1802.26	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1801.89/1802.26	c   trivial          :       0.03        699          0          0          0          0          0          0          0
1801.89/1802.26	c   dualfix          :       0.07         90          0          0          0          0          0          0          0
1801.89/1802.26	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1801.89/1802.26	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1801.89/1802.26	c   implics          :       0.48          0          0          0          0          0          0          0          0
1801.89/1802.26	c   probing          :     431.58          0          0          0          0          0          0          0          0
1801.89/1802.26	c   knapsack         :       0.88          0          0          0          0          0          2         45        205
1801.89/1802.26	c   setppc           :       0.00          0          0          0          0          0         10          0          0
1801.89/1802.26	c   linear           :       8.88       9326       3022          0      10025          0      50003         57         65
1801.89/1802.26	c   logicor          :       0.19          0          0          0          0          0          0          0          0
1801.89/1802.26	c   root node        :          -          0          -          -          0          -          -          -          -
1801.89/1802.26	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1801.89/1802.26	c   integral         :          0          0          0          0          0          0          0          0          0          0
1801.89/1802.26	c   knapsack         :       1095          1     204075          0          1          0          0         25          0          0
1801.89/1802.26	c   setppc           :         25          1     204075          0          1          0          0          0          0          0
1801.89/1802.26	c   logicor          :     133314          1     203331          0          1          0          0          0          0          0
1801.89/1802.26	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1801.89/1802.26	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1801.89/1802.26	c   integral         :       0.00       0.00       0.00       0.00       0.00
1801.89/1802.26	c   knapsack         :       3.95       0.01       3.94       0.00       0.00
1801.89/1802.26	c   setppc           :       0.07       0.00       0.07       0.00       0.00
1801.89/1802.26	c   logicor          :      47.54       0.01      47.49       0.00       0.04
1801.89/1802.26	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1801.89/1802.26	c Propagators        :       Time      Calls    Cutoffs    DomReds
1801.89/1802.26	c   rootredcost      :       0.02          0          0          0
1801.89/1802.26	c   pseudoobj        :       0.01          2          0          0
1801.89/1802.26	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.89/1802.26	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1801.89/1802.26	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.89/1802.26	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.89/1802.26	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.89/1802.26	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.89/1802.26	c   applied globally :          -          -          -          0        0.0          -          -          -
1801.89/1802.26	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.89/1802.26	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.89/1802.26	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 220)
1801.89/1802.26	c   redcost          :       0.00          1          0          0          0          0
1801.89/1802.26	c   impliedbounds    :       0.00          1          0          0          0          0
1801.89/1802.26	c   intobj           :       0.00          0          0          0          0          0
1801.89/1802.26	c   gomory           :       1.08          1          0          0        500          0
1801.89/1802.26	c   strongcg         :       1.01          1          0          0        500          0
1801.89/1802.26	c   cmir             :       8.51          1          0          0          0          0
1801.89/1802.26	c   flowcover        :       7.69          1          0          0         35          0
1801.89/1802.26	c   clique           :     788.89          1          0          0          0          0
1801.89/1802.26	c   zerohalf         :       0.00          0          0          0          0          0
1801.89/1802.26	c   mcf              :      19.97          1          0          0          0          0
1801.89/1802.26	c Pricers            :       Time      Calls       Vars
1801.89/1802.26	c   problem variables:       0.00          0          0
1801.89/1802.26	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.89/1802.26	c   relpscost        :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   pscost           :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   inference        :       0.01          1          0          0          0          0          2
1801.89/1802.26	c   mostinf          :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   leastinf         :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.89/1802.26	c   random           :       0.00          0          0          0          0          0          0
1801.89/1802.26	c Primal Heuristics  :       Time      Calls      Found
1801.89/1802.26	c   LP solutions     :       0.00          -          0
1801.89/1802.26	c   pseudo solutions :       0.00          -          0
1801.89/1802.26	c   oneopt           :       0.00          0          0
1801.89/1802.26	c   simplerounding   :       0.00          0          0
1801.89/1802.26	c   rounding         :       0.01          1          0
1801.89/1802.26	c   shifting         :       0.00          1          0
1801.89/1802.26	c   intshifting      :       0.00          0          0
1801.89/1802.26	c   fixandinfer      :       0.00          0          0
1801.89/1802.26	c   feaspump         :     109.63          1          0
1801.89/1802.26	c   coefdiving       :       0.00          0          0
1801.89/1802.26	c   pscostdiving     :       0.00          0          0
1801.89/1802.26	c   fracdiving       :       0.00          0          0
1801.89/1802.26	c   veclendiving     :       0.00          0          0
1801.89/1802.26	c   intdiving        :       0.00          0          0
1801.89/1802.26	c   actconsdiving    :       0.00          0          0
1801.89/1802.26	c   objpscostdiving  :       0.00          0          0
1801.89/1802.26	c   rootsoldiving    :       0.00          0          0
1801.89/1802.26	c   linesearchdiving :       0.00          0          0
1801.89/1802.26	c   guideddiving     :       0.00          0          0
1801.89/1802.26	c   octane           :       0.00          0          0
1801.89/1802.26	c   rens             :       0.00          0          0
1801.89/1802.26	c   rins             :       0.00          0          0
1801.89/1802.26	c   localbranching   :       0.00          0          0
1801.89/1802.26	c   mutation         :       0.00          0          0
1801.89/1802.26	c   crossover        :       0.00          0          0
1801.89/1802.26	c   dins             :       0.00          0          0
1801.89/1802.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.89/1802.26	c   primal LP        :       0.00          0          0       0.00          -
1801.89/1802.26	c   dual LP          :     411.34          2      67125   33562.50     163.19
1801.89/1802.26	c   barrier LP       :       0.00          0          0       0.00          -
1801.89/1802.26	c   diving/probing LP:     109.29         12      44574    3714.50     407.85
1801.89/1802.26	c   strong branching :       0.00          0          0       0.00          -
1801.89/1802.26	c     (at root node) :          -          0          0       0.00          -
1801.89/1802.26	c   conflict analysis:       0.00          0          0       0.00          -
1801.89/1802.26	c B&B Tree           :
1801.89/1802.26	c   number of runs   :          1
1801.89/1802.26	c   nodes            :          1
1801.89/1802.26	c   nodes (total)    :          1
1801.89/1802.26	c   nodes left       :          2
1801.89/1802.26	c   max depth        :          0
1801.89/1802.26	c   max depth (total):          0
1801.89/1802.26	c   backtracks       :          0 (0.0%)
1801.89/1802.26	c   delayed cutoffs  :          0
1801.89/1802.26	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1801.89/1802.26	c   avg switch length:       1.00
1801.89/1802.26	c   switching time   :       0.00
1801.89/1802.26	c Solution           :
1801.89/1802.26	c   Solutions found  :          0 (0 improvements)
1801.89/1802.26	c   Primal Bound     :          -
1801.89/1802.26	c   Dual Bound       : +9.70000000000000e+01
1801.89/1802.26	c   Gap              :   infinite
1801.89/1802.26	c   Root Dual Bound  : +9.70000000000000e+01

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740542-1338762686/watcher-3740542-1338762686 -o /tmp/evaluation-result-3740542-1338762686/solver-3740542-1338762686 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740542-1338762686.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29006
/proc/meminfo: memFree=25371400/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 1593 0 0 0 0 0 0 0 20 0 1 0 342393192 9232384 1546 33554432000 4194304 7823515 140734672350752 140734672215304 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 2254 1555 354 887 0 1364 0

[startup+0.104638 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29006
/proc/meminfo: memFree=25371400/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=27884 CPUtime=0.1 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 6303 0 0 0 9 1 0 0 20 0 1 0 342393192 28553216 6256 33554432000 4194304 7823515 140734672350752 140734672215304 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 6971 6256 354 887 0 6081 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27884

[startup+0.200324 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29006
/proc/meminfo: memFree=25371400/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=39676 CPUtime=0.19 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 9271 0 0 0 18 1 0 0 20 0 1 0 342393192 40628224 9224 33554432000 4194304 7823515 140734672350752 140734672215304 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 9919 9224 354 887 0 9029 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39676

[startup+0.300323 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29006
/proc/meminfo: memFree=25371400/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=46040 CPUtime=0.29 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 10865 0 0 0 28 1 0 0 20 0 1 0 342393192 47144960 10818 33554432000 4194304 7823515 140734672350752 140734672215304 5538352 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 11510 10818 354 887 0 10620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46040

[startup+0.70032 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29006
/proc/meminfo: memFree=25371400/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=75092 CPUtime=0.69 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 18113 0 0 0 67 2 0 0 20 0 1 0 342393192 76894208 18066 33554432000 4194304 7823515 140734672350752 140734672215304 6288752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 18773 18066 354 887 0 17883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75092

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=25255568/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=268964 CPUtime=1.49 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 66516 0 0 0 140 9 0 0 20 0 1 0 342393192 275419136 66115 33554432000 4194304 7823515 140734672350752 140734672216856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 67241 66115 418 887 0 66351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268964

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=25008112/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=440504 CPUtime=3.08 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 109216 0 0 0 291 17 0 0 20 0 1 0 342393192 451076096 108815 33554432000 4194304 7823515 140734672350752 140734672347688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 110126 108815 427 887 0 109236 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 440504

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=24744868/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=650552 CPUtime=6.28 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 160122 0 0 0 598 30 0 0 20 0 1 0 342393192 666165248 159721 33554432000 4194304 7823515 140734672350752 140734672347688 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 162638 159721 432 887 0 161748 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 650552

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=24650984/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=717296 CPUtime=12.68 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 175091 0 0 0 1196 72 0 0 20 0 1 0 342393192 734511104 176294 33554432000 4194304 7823515 140734672350752 140734672348040 5875158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 179324 176294 447 887 0 178434 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 717296

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=24564228/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=740108 CPUtime=25.49 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 180291 0 0 0 2475 74 0 0 20 0 1 0 342393192 757870592 181485 33554432000 4194304 7823515 140734672350752 140734672347448 5803096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 185027 181485 459 887 0 184137 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 740108

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=24429460/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=796872 CPUtime=51.08 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 194065 0 0 0 5032 76 0 0 20 0 1 0 342393192 815996928 195259 33554432000 4194304 7823515 140734672350752 140734672347432 5802411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 199218 195259 459 887 0 198328 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 796872

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29007
/proc/meminfo: memFree=24206288/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=971196 CPUtime=102.28 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 236518 0 0 0 10144 84 0 0 20 0 1 0 342393192 994504704 237712 33554432000 4194304 7823515 140734672350752 140734672347432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 242799 237712 460 887 0 241909 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 971196

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29008
/proc/meminfo: memFree=23952116/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=1197888 CPUtime=162.27 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 291901 0 0 0 16132 95 0 0 20 0 1 0 342393192 1226637312 293095 33554432000 4194304 7823515 140734672350752 140734672346616 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 299472 293095 460 887 0 298582 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1197888

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29008
/proc/meminfo: memFree=23596636/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=1519904 CPUtime=222.26 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 371619 0 0 0 22113 113 0 0 20 0 1 0 342393192 1556381696 372813 33554432000 4194304 7823515 140734672350752 140734672347448 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 379976 372813 460 887 0 379086 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1519904

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29008
/proc/meminfo: memFree=23322392/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=1749596 CPUtime=282.25 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 428560 0 0 0 28096 129 0 0 20 0 1 0 342393192 1791586304 429754 33554432000 4194304 7823515 140734672350752 140734672347432 5803119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 437399 429754 460 887 0 436509 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1749596

[startup+342.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 29008
/proc/meminfo: memFree=23050844/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=1929004 CPUtime=342.24 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 472854 0 0 0 34081 143 0 0 20 0 1 0 342393192 1975300096 474048 33554432000 4194304 7823515 140734672350752 140734672347448 4781995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 482251 474048 465 887 0 481361 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1929004

[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 29008
/proc/meminfo: memFree=22771816/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2108792 CPUtime=402.23 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 517427 0 0 0 40063 160 0 0 20 0 1 0 342393192 2159403008 518621 33554432000 4194304 7823515 140734672350752 140734672346616 5803119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 527198 518621 465 887 0 526308 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2108792

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 29009
/proc/meminfo: memFree=22412692/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2434264 CPUtime=462.22 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 588558 0 0 0 46043 179 0 0 20 0 1 0 342393192 2492686336 596137 33554432000 4194304 7823515 140734672350752 140734672345416 6151321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 608566 596137 530 887 0 607676 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2434264

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 29012
/proc/meminfo: memFree=22280576/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2452656 CPUtime=522.21 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 591736 0 0 0 52036 185 0 0 20 0 1 0 342393192 2511519744 601615 33554432000 4194304 7823515 140734672350752 140734672346088 6212088 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 613164 601615 530 887 0 612274 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2452656

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 29012
/proc/meminfo: memFree=22142124/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2466568 CPUtime=582.21 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 593790 0 0 0 58032 189 0 0 20 0 1 0 342393192 2525765632 606622 33554432000 4194304 7823515 140734672350752 140734672346088 6212079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 616642 606622 530 887 0 615752 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2466568

[startup+642.3 s]

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

/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 594352 0 0 0 105632 579 0 0 20 0 1 0 342393192 2529980416 607715 33554432000 4194304 7823515 140734672350752 140734672346760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 617671 607715 560 887 0 616781 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2470684

[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 29055
/proc/meminfo: memFree=24667396/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2470684 CPUtime=1122.1 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 594354 0 0 0 111557 653 0 0 20 0 1 0 342393192 2529980416 607968 33554432000 4194304 7823515 140734672350752 140734672346760 5562704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 617671 607968 560 887 0 616781 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2470684

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 29055
/proc/meminfo: memFree=24513052/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2470684 CPUtime=1182.08 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 594355 0 0 0 117487 721 0 0 20 0 1 0 342393192 2529980416 607968 33554432000 4194304 7823515 140734672350752 140734672346760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 617671 607968 560 887 0 616781 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 2470684

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 29055
/proc/meminfo: memFree=24241396/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2470684 CPUtime=1242.07 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 594358 0 0 0 123414 793 0 0 20 0 1 0 342393192 2529980416 607968 33554432000 4194304 7823515 140734672350752 140734672346760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 617671 607968 560 887 0 616781 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2470684

[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 29055
/proc/meminfo: memFree=24078372/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2470684 CPUtime=1302.06 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 594360 0 0 0 129341 865 0 0 20 0 1 0 342393192 2529980416 607968 33554432000 4194304 7823515 140734672350752 140734672346760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 617671 607968 560 887 0 616781 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2470684

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 29057
/proc/meminfo: memFree=23841976/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2481664 CPUtime=1362.06 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 595819 0 0 0 135244 962 0 0 20 0 1 0 342393192 2541223936 609967 33554432000 4194304 7823515 140734672350752 140734672346488 5562284 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 620416 609967 560 887 0 619526 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2481664

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29057
/proc/meminfo: memFree=23521616/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2545364 CPUtime=1422.05 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 598273 0 0 0 141242 963 0 0 20 0 1 0 342393192 2606452736 626170 33554432000 4194304 7823515 140734672350752 140734672346744 5562326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 636341 626170 560 887 0 635451 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2545364

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29057
/proc/meminfo: memFree=23185012/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2675448 CPUtime=1482.04 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 601820 0 0 0 147237 967 0 0 20 0 1 0 342393192 2739658752 654612 33554432000 4194304 7823515 140734672350752 140734672346744 5562298 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 668862 654612 560 887 0 667972 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2675448

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29057
/proc/meminfo: memFree=22825056/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2766716 CPUtime=1542.03 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605152 0 0 0 153234 969 0 0 20 0 1 0 342393192 2833117184 676776 33554432000 4194304 7823515 140734672350752 140734672346088 6213116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691679 676776 574 887 0 690789 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2766716

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29057
/proc/meminfo: memFree=22647268/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2766848 CPUtime=1602.02 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605248 0 0 0 159230 972 0 0 20 0 1 0 342393192 2833252352 677281 33554432000 4194304 7823515 140734672350752 140734672346088 6151351 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691712 677281 574 887 0 690822 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2766848

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29058
/proc/meminfo: memFree=22502712/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2766980 CPUtime=1662.01 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605303 0 0 0 165226 975 0 0 20 0 1 0 342393192 2833387520 677726 33554432000 4194304 7823515 140734672350752 140734672346088 6212418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691745 677726 574 887 0 690855 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2766980

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 29061
/proc/meminfo: memFree=22345996/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2767244 CPUtime=1722 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605354 0 0 0 171222 978 0 0 20 0 1 0 342393192 2833657856 677857 33554432000 4194304 7823515 140734672350752 140734672346088 6213632 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691811 677857 574 887 0 690921 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 2767244

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29083
/proc/meminfo: memFree=22081348/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2767376 CPUtime=1781.99 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605419 0 0 0 177217 982 0 0 20 0 1 0 342393192 2833793024 678126 33554432000 4194304 7823515 140734672350752 140734672346088 6179716 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691844 678126 574 887 0 690954 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 2767376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29083
/proc/meminfo: memFree=22071712/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2767376 CPUtime=1800.1 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605442 0 0 0 179027 983 0 0 20 0 1 0 342393192 2833793024 678182 33554432000 4194304 7823515 140734672350752 140734672346088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691844 678182 574 887 0 690954 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2767376

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -29006

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

[startup+1801.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29084
/proc/meminfo: memFree=22071712/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2767376 CPUtime=1801.19 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605443 0 0 0 179136 983 0 0 20 0 1 0 342393192 2833793024 678183 33554432000 4194304 7823515 140734672350752 140734672346088 6212032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691844 678183 574 887 0 690954 0
Current children cumulated CPU time (s) 1801.19
Current children cumulated vsize (KiB) 2767376

[startup+1801.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29084
/proc/meminfo: memFree=22070216/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2767376 CPUtime=1801.6 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605443 0 0 0 179177 983 0 0 20 0 1 0 342393192 2833793024 678183 33554432000 4194304 7823515 140734672350752 140734672346088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 691844 678183 574 887 0 690954 0
Current children cumulated CPU time (s) 1801.6
Current children cumulated vsize (KiB) 2767376

[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29084
/proc/meminfo: memFree=22070216/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2507536 CPUtime=1801.98 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605446 0 0 0 179215 983 0 0 20 0 1 0 342393192 2567716864 619603 33554432000 4194304 7823515 140734672350752 140734672346088 4313428 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 626884 619603 577 887 0 625994 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 2507536

[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29084
/proc/meminfo: memFree=22070216/32873844 swapFree=7108/7108
[pid=29006] ppid=29004 vsize=2507536 CPUtime=1802.08 cores=0,2,4,6
/proc/29006/stat : 29006 (pbscip.linux.x8) R 29004 29006 26990 0 -1 4202496 605446 0 0 0 179225 983 0 0 20 0 1 0 342393192 2567716864 619603 33554432000 4194304 7823515 140734672350752 140734672346088 5875181 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29006/statm: 626884 619603 577 887 0 625994 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 2507536

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.48
CPU time (s): 1802.17
CPU user time (s): 1792.26
CPU system time (s): 9.91049
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 2767376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 9.91049
maximum resident set size= 2712744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605446
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= 32
involuntary context switches= 1893

runsolver used 5.09622 second user time and 17.3494 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-04 00:31:26
IDJOB=3740542
IDBENCH=77725
IDSOLVER=2321
FILE ID=node139/3740542-1338762686
RUNJOBID= node139-1338748983-27006
PBS_JOBID= 14636794
Free space on /tmp= 71076 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j90opt/normalized-j9022_8.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740542-1338762686/watcher-3740542-1338762686 -o /tmp/evaluation-result-3740542-1338762686/solver-3740542-1338762686 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740542-1338762686.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= eccc7cf79156068954cbdbfcd52f7893
RANDOM SEED=424782152

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25371664 kB
Buffers:          513332 kB
Cached:          3377764 kB
SwapCached:          828 kB
Active:          4482272 kB
Inactive:        2138524 kB
Active(anon):    2723272 kB
Inactive(anon):     7952 kB
Active(file):    1759000 kB
Inactive(file):  2130572 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             15132 kB
Writeback:             0 kB
AnonPages:       2735020 kB
Mapped:            13372 kB
Shmem:                 8 kB
Slab:             734760 kB
SReclaimable:     176888 kB
SUnreclaim:       557872 kB
KernelStack:        1456 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2891688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71068 MiB
End job on node139 at 2012-06-04 01:01:29