Trace number 3742811

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? 1797.37 1797.66

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb
MD5SUM4aec499ebd970c139326f13f1d94e40d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.394939
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 14371
Number of bits of the biggest sum of numbers14
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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3742811-1338790894.opb>
0.29/0.32	c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.29/0.32	c problem read
0.29/0.32	c presolving settings loaded
0.49/0.50	c presolving:
0.49/0.59	c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.59/0.62	c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.59/0.64	c (round 3) 2024 del vars, 1906 del conss, 0 add conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.59/0.66	c (round 4) 2475 del vars, 2357 del conss, 0 add conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.59/0.68	c (round 5) 2838 del vars, 2720 del conss, 0 add conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.59/0.69	c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.69/0.71	c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.69/0.73	c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.69/0.74	c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.69/0.75	c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
8.49/8.57	c (round 11) 3722 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 2317076 impls, 551 clqs
8.59/8.66	c (round 12) 3722 del vars, 4155 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 2317076 impls, 552 clqs
21.48/21.57	c (round 13) 3787 del vars, 4155 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 6489338 impls, 552 clqs
21.58/21.63	c (round 14) 3787 del vars, 4220 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 6489338 impls, 552 clqs
168.96/169.05	c (round 15) 3869 del vars, 4220 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13500840 impls, 552 clqs
169.06/169.10	c (round 16) 3869 del vars, 4302 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13500944 impls, 552 clqs
180.36/180.43	c (round 17) 3919 del vars, 4302 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13664762 impls, 552 clqs
180.36/180.48	c (round 18) 3919 del vars, 4352 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13664958 impls, 552 clqs
195.25/195.35	c (round 19) 3969 del vars, 4352 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14109928 impls, 552 clqs
195.25/195.38	c (round 20) 3969 del vars, 4402 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14109928 impls, 552 clqs
250.04/250.12	c (round 21) 4020 del vars, 4402 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16441714 impls, 552 clqs
250.04/250.15	c (round 22) 4020 del vars, 4453 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16441714 impls, 552 clqs
402.42/402.56	c    (402.6s) probing: 1000/37282 (2.7%) - 388 fixings, 15 aggregations, 4809579 implications, 0 bound changes
427.02/427.14	c (round 23) 4070 del vars, 4453 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 26452700 impls, 552 clqs
427.12/427.20	c (round 24) 4070 del vars, 4503 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 26452700 impls, 552 clqs
457.71/457.87	c (round 25) 4127 del vars, 4503 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 27498532 impls, 552 clqs
457.71/457.89	c (round 26) 4127 del vars, 4560 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 27498532 impls, 552 clqs
521.90/522.02	c (round 27) 4177 del vars, 4560 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
521.90/522.04	c (round 28) 4177 del vars, 4610 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
524.00/524.12	c (round 29) 4227 del vars, 4610 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
524.00/524.14	c (round 30) 4227 del vars, 4660 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
672.67/672.84	c (round 31) 4277 del vars, 4660 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 37243234 impls, 552 clqs
672.67/672.86	c (round 32) 4277 del vars, 4710 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 37243234 impls, 552 clqs
851.15/851.37	c    (851.4s) probing: 2000/37282 (5.4%) - 637 fixings, 15 aggregations, 14704358 implications, 0 bound changes
1077.01/1077.28	c (round 33) 4327 del vars, 4710 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 55188492 impls, 552 clqs
1077.11/1077.30	c (round 34) 4327 del vars, 4760 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 55188492 impls, 552 clqs
1456.55/1456.89	c    (1456.9s) probing: 3000/37282 (8.0%) - 689 fixings, 15 aggregations, 27427906 implications, 0 bound changes
1742.11/1742.49	c (round 35) 4377 del vars, 4760 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 81365968 impls, 552 clqs
1742.21/1742.52	c (round 36) 4377 del vars, 4810 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 81365968 impls, 552 clqs
1797.10/1797.43	c    (1797.4s) probing: 3540/37282 (9.5%) - 737 fixings, 15 aggregations, 33667056 implications, 0 bound changes
1797.10/1797.43	c    (1797.4s) probing aborted: solving stopped
1797.10/1797.44	c (round 37) 4407 del vars, 4810 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 83227338 impls, 552 clqs
1797.10/1797.44	c presolving (37 rounds):
1797.10/1797.44	c  4407 deleted vars, 4810 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1797.10/1797.44	c  83227338 implications, 552 cliques
1797.10/1797.44	c presolving was interrupted.
1797.10/1797.44	c Presolving Time: 1797.00
1797.10/1797.44	c - non default parameters ----------------------------------------------------------------------
1797.10/1797.44	c # SCIP version 2.0.1.5
1797.10/1797.44	c 
1797.10/1797.44	c # frequency for displaying node information lines
1797.10/1797.44	c # [type: int, range: [-1,2147483647], default: 100]
1797.10/1797.44	c display/freq = 10000
1797.10/1797.44	c 
1797.10/1797.44	c # maximal time in seconds to run
1797.10/1797.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.10/1797.44	c limits/time = 1797
1797.10/1797.44	c 
1797.10/1797.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.10/1797.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.10/1797.44	c limits/memory = 13950
1797.10/1797.44	c 
1797.10/1797.44	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.10/1797.44	c # [type: int, range: [1,2], default: 1]
1797.10/1797.44	c timing/clocktype = 2
1797.10/1797.44	c 
1797.10/1797.44	c # belongs reading time to solving time?
1797.10/1797.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44	c timing/reading = TRUE
1797.10/1797.44	c 
1797.10/1797.44	c # should presolving try to simplify inequalities
1797.10/1797.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44	c constraints/linear/simplifyinequalities = TRUE
1797.10/1797.44	c 
1797.10/1797.44	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.10/1797.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44	c constraints/indicator/addCouplingCons = TRUE
1797.10/1797.44	c 
1797.10/1797.44	c # should presolving try to simplify knapsacks
1797.10/1797.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44	c constraints/knapsack/simplifyinequalities = TRUE
1797.10/1797.44	c 
1797.10/1797.44	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.10/1797.44	c # [type: int, range: [-1,2147483647], default: -1]
1797.10/1797.44	c separating/rapidlearning/freq = 0
1797.10/1797.44	c 
1797.10/1797.44	c -----------------------------------------------------------------------------------------------
1797.10/1797.44	c start solving
1797.10/1797.45	c presolving:
1797.10/1797.45	c presolving (37 rounds):
1797.10/1797.45	c  4407 deleted vars, 4810 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1797.10/1797.45	c  83227338 implications, 552 cliques
1797.10/1797.45	c presolving was interrupted.
1797.10/1797.45	c Presolving Time: 1797.02
1797.10/1797.45	c 
1797.10/1797.45	c SCIP Status        : solving was interrupted [time limit reached]
1797.10/1797.45	c Solving Time (sec) : 1797.45
1797.10/1797.45	c Solving Nodes      : 0
1797.10/1797.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.10/1797.45	s UNKNOWN
1797.10/1797.45	c SCIP Status        : solving was interrupted [time limit reached]
1797.10/1797.45	c Total Time         :    1797.45
1797.10/1797.45	c   solving          :    1797.45
1797.10/1797.45	c   presolving       :    1797.02 (included in solving)
1797.10/1797.45	c   reading          :       0.32 (included in solving)
1797.10/1797.45	c Original Problem   :
1797.10/1797.45	c   Problem name     : HOME/instance-3742811-1338790894.opb
1797.10/1797.45	c   Variables        : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.45	c   Constraints      : 41436 initial, 41436 maximal
1797.10/1797.45	c Presolved Problem  :
1797.10/1797.45	c   Problem name     : t_HOME/instance-3742811-1338790894.opb
1797.10/1797.45	c   Variables        : 36530 (36530 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.45	c   Constraints      : 36626 initial, 36626 maximal
1797.10/1797.45	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.10/1797.45	c   trivial          :       0.07        123          0          0          0          0          0          0          0          0
1797.10/1797.45	c   dualfix          :       0.06          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   implics          :       0.09          0          1          0          0          0          0          0          0          0
1797.10/1797.45	c   probing          :    1795.55        737         15          0          0          0          0          0          0          0
1797.10/1797.45	c   knapsack         :       0.17          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   setppc           :       0.12          0          0          0          0          0        523          0          0          0
1797.10/1797.45	c   linear           :       0.37       3531          0          0       3531          0       4088          0          0          0
1797.10/1797.45	c   logicor          :       0.42          0          0          0          0          0        199          0          0          0
1797.10/1797.45	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.10/1797.45	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.10/1797.45	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   knapsack         :          0+         0      28655          0          0          0          0        185          0          0          0          0
1797.10/1797.45	c   setppc           :          0+         0      28469          0          0          0          0        237          0          0          0          0
1797.10/1797.45	c   linear           :          0+         0         65          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c   logicor          :          0+         0      24308          0          0          0          0         43          0          0          0          0
1797.10/1797.45	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.10/1797.45	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.10/1797.45	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.10/1797.45	c   knapsack         :       3.88       0.00       3.88       0.00       0.00       0.00       0.00
1797.10/1797.45	c   setppc           :      55.97       0.00      55.97       0.00       0.00       0.00       0.00
1797.10/1797.45	c   linear           :       0.07       0.00       0.07       0.00       0.00       0.00       0.00
1797.10/1797.45	c   logicor          :      20.59       0.00      20.59       0.00       0.00       0.00       0.00
1797.10/1797.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.10/1797.45	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.10/1797.45	c   vbounds          :          0          0          0          0
1797.10/1797.45	c   rootredcost      :          0          0          0          0
1797.10/1797.45	c   pseudoobj        :          0          0          0          0
1797.10/1797.45	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.10/1797.45	c   vbounds          :       0.01       0.01       0.00
1797.10/1797.45	c   rootredcost      :       0.00       0.00       0.00
1797.10/1797.45	c   pseudoobj        :       0.00       0.00       0.00
1797.10/1797.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.10/1797.45	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.10/1797.45	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.10/1797.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.10/1797.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.10/1797.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.10/1797.45	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.10/1797.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.29/1797.66	c Time complete: 1797.36.

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-3742811-1338790894/watcher-3742811-1338790894 -o /tmp/evaluation-result-3742811-1338790894/solver-3742811-1338790894 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742811-1338790894.opb -t 1800 -m 15500 

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 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 1 0 345215184 9400320 1243 33554432000 4194304 9016284 140735530587408 140736602963112 6813403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 2295 1250 201 1178 0 1113 0

[startup+0.102581 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=29960 CPUtime=0.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 6485 0 0 0 9 0 0 0 20 0 1 0 345215184 30679040 6439 33554432000 4194304 9016284 140735530587408 140736602963112 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 7490 6439 360 1178 0 6308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29960

[startup+0.200274 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=45720 CPUtime=0.19 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 10418 0 0 0 18 1 0 0 20 0 1 0 345215184 46817280 10372 33554432000 4194304 9016284 140735530587408 140736602963112 7874936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 11430 10372 360 1178 0 10248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45720

[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=60168 CPUtime=0.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 14008 0 0 0 28 1 0 0 20 0 1 0 345215184 61612032 13962 33554432000 4194304 9016284 140735530587408 140736602963112 4445906 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 15042 13962 360 1178 0 13860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60168

[startup+0.700297 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=144752 CPUtime=0.69 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 35290 0 0 0 65 4 0 0 20 0 1 0 345215184 148226048 34691 33554432000 4194304 9016284 140735530587408 140736602963112 5975146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 36188 34691 492 1178 0 35006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144752

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26792588/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=215456 CPUtime=1.49 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 54023 0 0 0 143 6 0 0 20 0 1 0 345215184 220626944 51624 33554432000 4194304 9016284 140735530587408 140735530581032 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 53864 51624 520 1178 0 52682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215456

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26735796/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=272752 CPUtime=3.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 66862 0 0 0 301 8 0 0 20 0 1 0 345215184 279298048 64463 33554432000 4194304 9016284 140735530587408 140735530582792 6480379 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 68188 64463 520 1178 0 67006 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 272752

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26643416/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=351536 CPUtime=6.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 85403 0 0 0 619 10 0 0 20 0 1 0 345215184 359972864 83004 33554432000 4194304 9016284 140735530587408 140735530582792 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 87884 83004 520 1178 0 86702 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 351536

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26505640/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=483528 CPUtime=12.68 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 118741 0 0 0 1254 14 0 0 20 0 1 0 345215184 495132672 116401 33554432000 4194304 9016284 140735530587408 140735530582792 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 120882 116401 534 1178 0 119700 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 483528

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26405952/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=583496 CPUtime=25.48 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 143746 0 0 0 2531 17 0 0 20 0 1 0 345215184 597499904 141406 33554432000 4194304 9016284 140735530587408 140735530582792 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 145874 141406 534 1178 0 144692 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 583496

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26374924/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=613632 CPUtime=51.08 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 151757 0 0 0 5089 19 0 0 20 0 1 0 345215184 628359168 149612 33554432000 4194304 9016284 140735530587408 140735530582792 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 153408 149612 534 1178 0 152226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 613632

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26247496/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=742392 CPUtime=102.27 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 182887 0 0 0 10203 24 0 0 20 0 1 0 345215184 760209408 180938 33554432000 4194304 9016284 140735530587408 140735530582792 6480433 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 185598 180938 534 1178 0 184416 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 742392

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26112736/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=880104 CPUtime=162.26 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 216710 0 0 0 16195 31 0 0 20 0 1 0 345215184 901226496 214760 33554432000 4194304 9016284 140735530587408 140735530582472 4875328 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 220026 214760 534 1178 0 218844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 880104

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26075876/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=910672 CPUtime=222.25 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 224564 0 0 0 22193 32 0 0 20 0 1 0 345215184 932528128 223737 33554432000 4194304 9016284 140735530587408 140735530583080 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 227668 223737 534 1178 0 226486 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 910672

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=26033616/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=951636 CPUtime=282.24 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 234819 0 0 0 28190 34 0 0 20 0 1 0 345215184 974475264 234097 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 237909 234097 534 1178 0 236727 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 951636

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25919304/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1066236 CPUtime=342.23 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 263208 0 0 0 34185 38 0 0 20 0 1 0 345215184 1091825664 262879 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 266559 262879 534 1178 0 265377 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1066236

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25779668/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1205264 CPUtime=402.22 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 297318 0 0 0 40179 43 0 0 20 0 1 0 345215184 1234190336 297593 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 301316 297593 534 1178 0 300134 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1205264

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25689940/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1295876 CPUtime=462.21 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 318968 0 0 0 46175 46 0 0 20 0 1 0 345215184 1326977024 320211 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 323969 320211 539 1178 0 322787 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1295876

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 828
/proc/meminfo: memFree=25559092/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1429240 CPUtime=522.2 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 352156 0 0 0 52170 50 0 0 20 0 1 0 345215184 1463541760 353546 33554432000 4194304 9016284 140735530587408 140735530583000 6817804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 357310 353546 539 1178 0 356128 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1429240

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 829
/proc/meminfo: memFree=25441040/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1547280 CPUtime=582.19 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 380992 0 0 0 58164 55 0 0 20 0 1 0 345215184 1584414720 382930 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 386820 382930 539 1178 0 385638 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1547280

[startup+642.3 s]

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

/proc/meminfo: memFree=24379296/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2309152 CPUtime=1062.11 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 567296 0 0 0 106128 83 0 0 20 0 1 0 345215184 2364571648 573627 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 577288 573627 539 1178 0 576106 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2309152

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 871
/proc/meminfo: memFree=24171364/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2358348 CPUtime=1122.1 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 578958 0 0 0 112125 85 0 0 20 0 1 0 345215184 2414948352 586063 33554432000 4194304 9016284 140735530587408 140735530583000 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 589587 586063 539 1178 0 588405 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2358348

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 872
/proc/meminfo: memFree=24033392/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2440148 CPUtime=1182.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 598691 0 0 0 118122 87 0 0 20 0 1 0 345215184 2498711552 606232 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 610037 606232 539 1178 0 608855 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2440148

[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 872
/proc/meminfo: memFree=23820392/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2554536 CPUtime=1242.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 627261 0 0 0 124117 92 0 0 20 0 1 0 345215184 2615844864 635497 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 638634 635497 539 1178 0 637452 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2554536

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 872
/proc/meminfo: memFree=23674100/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2587348 CPUtime=1302.07 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 634166 0 0 0 130114 93 0 0 20 0 1 0 345215184 2649444352 642761 33554432000 4194304 9016284 140735530587408 140735530583000 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 646837 642761 539 1178 0 645655 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2587348

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 872
/proc/meminfo: memFree=23512188/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2644468 CPUtime=1362.06 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 647476 0 0 0 136111 95 0 0 20 0 1 0 345215184 2707935232 656891 33554432000 4194304 9016284 140735530587408 140735530583000 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 661117 656891 539 1178 0 659935 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2644468

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 872
/proc/meminfo: memFree=23342524/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2726028 CPUtime=1422.06 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 667807 0 0 0 142108 98 0 0 20 0 1 0 345215184 2791452672 677768 33554432000 4194304 9016284 140735530587408 140735530583000 6480412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 681507 677768 539 1178 0 680325 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2726028

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 873
/proc/meminfo: memFree=23125932/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2854704 CPUtime=1482.05 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 699380 0 0 0 148102 103 0 0 20 0 1 0 345215184 2923216896 709564 33554432000 4194304 9016284 140735530587408 140735530583000 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 713676 709564 539 1178 0 712494 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2854704

[startup+1542.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 873
/proc/meminfo: memFree=22995588/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2890312 CPUtime=1542.04 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 707328 0 0 0 154100 104 0 0 20 0 1 0 345215184 2959679488 719331 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 722578 719331 539 1178 0 721396 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2890312

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 873
/proc/meminfo: memFree=22871668/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2925752 CPUtime=1602.03 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 715410 0 0 0 160097 106 0 0 20 0 1 0 345215184 2995970048 727731 33554432000 4194304 9016284 140735530587408 140735530583000 7260774 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 731438 727731 539 1178 0 730256 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2925752

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 873
/proc/meminfo: memFree=22725128/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2976568 CPUtime=1662.02 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 728388 0 0 0 166094 108 0 0 20 0 1 0 345215184 3048005632 740864 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 744142 740864 539 1178 0 742960 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2976568

[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 876
/proc/meminfo: memFree=22510412/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3100256 CPUtime=1722.01 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 759343 0 0 0 172088 113 0 0 20 0 1 0 345215184 3174662144 773683 33554432000 4194304 9016284 140735530587408 140735530583000 4887822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 775064 773683 539 1178 0 773882 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3100256

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 876
/proc/meminfo: memFree=22359052/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3158232 CPUtime=1781.99 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 773503 0 0 0 178084 115 0 0 20 0 1 0 345215184 3234029568 787955 33554432000 4194304 9016284 140735530587408 140735530583000 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 789558 787955 539 1178 0 788376 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3158232

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

[startup+1785.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 877
/proc/meminfo: memFree=22356068/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3160124 CPUtime=1785.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 773944 0 0 0 178414 115 0 0 20 0 1 0 345215184 3235966976 788396 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 790031 788396 539 1178 0 788849 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 3160124

[startup+1792.01 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 877
/proc/meminfo: memFree=22343236/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3163024 CPUtime=1791.7 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 774818 0 0 0 179054 116 0 0 20 0 1 0 345215184 3238936576 789269 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 790756 789269 539 1178 0 789574 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 3163024

[startup+1795.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22332076/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3164976 CPUtime=1794.9 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775188 0 0 0 179374 116 0 0 20 0 1 0 345215184 3240935424 789639 33554432000 4194304 9016284 140735530587408 140735530583000 6480412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791244 789639 539 1178 0 790062 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 3164976

[startup+1796.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22330836/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3165920 CPUtime=1796.5 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775451 0 0 0 179534 116 0 0 20 0 1 0 345215184 3241902080 789902 33554432000 4194304 9016284 140735530587408 140735530583000 4889096 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791480 789902 539 1178 0 790298 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 3165920

[startup+1797.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22330836/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3165920 CPUtime=1796.9 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775451 0 0 0 179574 116 0 0 20 0 1 0 345215184 3241902080 789902 33554432000 4194304 9016284 140735530587408 140735530583000 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791480 789902 539 1178 0 790298 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 3165920

[startup+1797.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22328232/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3144332 CPUtime=1797.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775802 0 0 0 179613 116 0 0 20 0 1 0 345215184 3219795968 784607 33554432000 4194304 9016284 140735530587408 140735530583000 7933303 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 786083 784607 548 1178 0 784901 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 3144332

Child status: 0
Real time (s): 1797.66
CPU time (s): 1797.37
CPU user time (s): 1796.17
CPU system time (s): 1.19482
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3165920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 1.19482
maximum resident set size= 3161000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775820
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= 46
involuntary context switches= 1846

runsolver used 2.74658 second user time and 7.06293 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-04 08:21:34
IDJOB=3742811
IDBENCH=90236
IDSOLVER=2329
FILE ID=node117/3742811-1338790894
RUNJOBID= node117-1338764718-31325
PBS_JOBID= 14636813
Free space on /tmp= 69104 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742811-1338790894/watcher-3742811-1338790894 -o /tmp/evaluation-result-3742811-1338790894/solver-3742811-1338790894 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742811-1338790894.opb -t 1800 -m 15500

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

MD5SUM BENCH= 4aec499ebd970c139326f13f1d94e40d
RANDOM SEED=271388084

node117.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		: 2667.148
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	: 5334.29
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		: 2667.148
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		: 2667.148
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.91
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		: 2667.148
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.95
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		: 2667.148
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.91
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		: 2667.148
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		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        26971064 kB
Buffers:          637880 kB
Cached:          4259220 kB
SwapCached:          776 kB
Active:          2510284 kB
Inactive:        2476624 kB
Active(anon):      75140 kB
Inactive(anon):     9972 kB
Active(file):    2435144 kB
Inactive(file):  2466652 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             19040 kB
Writeback:            24 kB
AnonPages:         90944 kB
Mapped:            14956 kB
Shmem:                80 kB
Slab:             779712 kB
SReclaimable:     223936 kB
SUnreclaim:       555776 kB
KernelStack:        1464 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     199152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69088 MiB
End job on node117 at 2012-06-04 08:51:32