Trace number 3486287

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
SCIP spx 2 2011-06-10 (fixed)? 1798.02 1797.95

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12016_2.std.opb
MD5SUMcccd345daea74d5d7e187f797768ed88
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark263
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234174
Number of constraints which are clauses232974
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 constraint120
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 

0.00/0.00	c SCIP version 2.0.1.4 [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-3486287-1307792408.opb>
1.19/1.27	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234174 constraints
1.19/1.27	c problem read
1.19/1.28	c presolving settings loaded
1.99/2.09	c presolving:
9.59/9.69	c (round 1) 4989 del vars, 15107 del conss, 0 add conss, 3397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15995960 impls, 0 clqs
14.09/14.16	c (round 2) 13023 del vars, 41242 del conss, 0 add conss, 11114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034190 impls, 0 clqs
15.49/15.55	c (round 3) 15798 del vars, 53921 del conss, 0 add conss, 12723 chg bounds, 12 chg sides, 23 chg coeffs, 0 upgd conss, 16049347 impls, 1 clqs
16.09/16.16	c (round 4) 16871 del vars, 58273 del conss, 0 add conss, 13376 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16055855 impls, 1 clqs
16.39/16.43	c (round 5) 17354 del vars, 60336 del conss, 0 add conss, 13625 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16059677 impls, 1 clqs
16.59/16.61	c (round 6) 17571 del vars, 61247 del conss, 0 add conss, 13756 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16061618 impls, 1 clqs
16.69/16.72	c (round 7) 17663 del vars, 61671 del conss, 0 add conss, 13804 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16062405 impls, 1 clqs
16.79/16.81	c (round 8) 17715 del vars, 61894 del conss, 0 add conss, 13830 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063007 impls, 1 clqs
16.79/16.88	c (round 9) 17745 del vars, 62029 del conss, 0 add conss, 13848 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063265 impls, 1 clqs
16.89/16.95	c (round 10) 17759 del vars, 62105 del conss, 0 add conss, 13855 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063543 impls, 1 clqs
16.99/17.01	c (round 11) 17769 del vars, 62151 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 0 upgd conss, 16063564 impls, 1 clqs
17.60/17.68	c (round 12) 17769 del vars, 62159 del conss, 0 add conss, 13862 chg bounds, 18 chg sides, 29 chg coeffs, 172015 upgd conss, 16063564 impls, 1 clqs
18.70/18.70	c (round 13) 17769 del vars, 62170 del conss, 35 add conss, 13862 chg bounds, 65 chg sides, 266 chg coeffs, 172015 upgd conss, 16064800 impls, 799 clqs
19.09/19.14	c (round 14) 17769 del vars, 62175 del conss, 46 add conss, 13862 chg bounds, 89 chg sides, 351 chg coeffs, 172015 upgd conss, 16064800 impls, 857 clqs
780.62/780.62	c    (780.6s) probing: 1000/55073 (1.8%) - 19 fixings, 0 aggregations, 11484602 implications, 0 bound changes
1307.24/1307.22	c    (1307.2s) probing: 2000/55073 (3.6%) - 19 fixings, 0 aggregations, 17569872 implications, 0 bound changes
1389.14/1389.19	c    (1389.2s) probing: 2161/55073 (3.9%) - 19 fixings, 0 aggregations, 18477249 implications, 0 bound changes
1389.14/1389.19	c    (1389.2s) probing aborted: 2000/2000 successive useless probings
1389.14/1389.19	c (round 15) 17788 del vars, 62178 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 371 chg coeffs, 172015 upgd conss, 78972094 impls, 860 clqs
1390.14/1390.14	c (round 16) 17789 del vars, 63416 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 430 chg coeffs, 172015 upgd conss, 78976546 impls, 860 clqs
1571.25/1571.26	c (round 17) 17839 del vars, 63417 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82139904 impls, 872 clqs
1572.65/1572.61	c (round 18) 17849 del vars, 63613 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 82140082 impls, 872 clqs
1797.37/1797.33	c    (1797.3s) probing: 2622/55073 (4.8%) - 86 fixings, 30 aggregations, 21867147 implications, 0 bound changes
1797.37/1797.33	c    (1797.3s) probing aborted: solving stopped
1797.37/1797.33	c (round 19) 17896 del vars, 63622 del conss, 52 add conss, 13862 chg bounds, 95 chg sides, 431 chg coeffs, 172015 upgd conss, 88319702 impls, 872 clqs
1797.37/1797.33	c presolving (19 rounds):
1797.37/1797.33	c  17896 deleted vars, 63622 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1797.37/1797.33	c  88319702 implications, 872 cliques
1797.37/1797.33	c presolving was interrupted.
1797.37/1797.33	c Presolving Time: 1795.83
1797.37/1797.33	c - non default parameters ----------------------------------------------------------------------
1797.37/1797.33	c # SCIP version 2.0.1.4
1797.37/1797.33	c 
1797.37/1797.33	c # frequency for displaying node information lines
1797.37/1797.33	c # [type: int, range: [-1,2147483647], default: 100]
1797.37/1797.33	c display/freq = 10000
1797.37/1797.33	c 
1797.37/1797.33	c # maximal time in seconds to run
1797.37/1797.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.37/1797.33	c limits/time = 1797
1797.37/1797.33	c 
1797.37/1797.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.37/1797.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.37/1797.33	c limits/memory = 13950
1797.37/1797.33	c 
1797.37/1797.33	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.37/1797.33	c # [type: int, range: [1,2], default: 1]
1797.37/1797.33	c timing/clocktype = 2
1797.37/1797.33	c 
1797.37/1797.33	c # belongs reading time to solving time?
1797.37/1797.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.37/1797.33	c timing/reading = TRUE
1797.37/1797.33	c 
1797.37/1797.33	c # should presolving try to simplify inequalities
1797.37/1797.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.37/1797.33	c constraints/linear/simplifyinequalities = TRUE
1797.37/1797.33	c 
1797.37/1797.33	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.37/1797.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.37/1797.33	c constraints/indicator/addCouplingCons = TRUE
1797.37/1797.33	c 
1797.37/1797.33	c # should presolving try to simplify knapsacks
1797.37/1797.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.37/1797.33	c constraints/knapsack/simplifyinequalities = TRUE
1797.37/1797.33	c 
1797.37/1797.33	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.37/1797.33	c # [type: int, range: [-1,2147483647], default: -1]
1797.37/1797.33	c separating/rapidlearning/freq = 0
1797.37/1797.33	c 
1797.37/1797.33	c -----------------------------------------------------------------------------------------------
1797.37/1797.33	c start solving
1797.37/1797.36	c presolving:
1797.37/1797.36	c presolving (19 rounds):
1797.37/1797.36	c  17896 deleted vars, 63622 deleted constraints, 52 added constraints, 13862 tightened bounds, 0 added holes, 95 changed sides, 431 changed coefficients
1797.37/1797.36	c  88319702 implications, 872 cliques
1797.37/1797.36	c presolving was interrupted.
1797.37/1797.36	c Presolving Time: 1795.87
1797.37/1797.36	c 
1797.37/1797.36	c SCIP Status        : solving was interrupted [time limit reached]
1797.37/1797.36	c Solving Time (sec) : 1797.36
1797.37/1797.36	c Solving Nodes      : 0
1797.37/1797.36	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.37/1797.36	s UNKNOWN
1797.37/1797.36	c SCIP Status        : solving was interrupted [time limit reached]
1797.37/1797.36	c Total Time         :    1797.36
1797.37/1797.36	c   solving          :    1797.36
1797.37/1797.36	c   presolving       :    1795.87 (included in solving)
1797.37/1797.36	c   reading          :       1.28 (included in solving)
1797.37/1797.36	c Original Problem   :
1797.37/1797.36	c   Problem name     : HOME/instance-3486287-1307792408.opb
1797.37/1797.36	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.37/1797.36	c   Constraints      : 234174 initial, 234174 maximal
1797.37/1797.36	c Presolved Problem  :
1797.37/1797.36	c   Problem name     : t_HOME/instance-3486287-1307792408.opb
1797.37/1797.36	c   Variables        : 54946 (54946 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.37/1797.36	c   Constraints      : 170604 initial, 170604 maximal
1797.37/1797.36	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.37/1797.36	c   trivial          :       0.06       1263          0          0          0          0          0          0          0          0
1797.37/1797.36	c   dualfix          :       0.09        120          0          0          0          0          0          0          0          0
1797.37/1797.36	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   implics          :       2.07          0         10          0          0          0          0          0          0          0
1797.37/1797.36	c   probing          :    1775.09         86         30          0          0          0          0          0          0          0
1797.37/1797.36	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   knapsack         :       2.06          0          0          0          0          0          1         52         77        402
1797.37/1797.36	c   setppc           :       0.62          1          0          0          0          0       1444          0          0          0
1797.37/1797.36	c   linear           :      14.89      12599       3787          0      13862          0      62159          0         18         29
1797.37/1797.36	c   logicor          :       0.15          0          0          0          0          0         18          0          0          0
1797.37/1797.36	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.37/1797.36	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.37/1797.36	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   knapsack         :          0+         0     116566          0          0          0          0         21          0          0          0          0
1797.37/1797.36	c   setppc           :          0+         0     116545          0          0          0          0         27          0          0          0          0
1797.37/1797.36	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c   logicor          :          0+         0     105877          0          0          0          0         22          0          0          0          0
1797.37/1797.36	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.37/1797.36	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.37/1797.36	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.37/1797.36	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.37/1797.36	c   knapsack         :       9.20       0.00       9.20       0.00       0.00       0.00       0.00
1797.37/1797.36	c   setppc           :     687.40       0.00     687.40       0.00       0.00       0.00       0.00
1797.37/1797.36	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.37/1797.36	c   logicor          :      10.14       0.00      10.14       0.00       0.00       0.00       0.00
1797.37/1797.36	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.37/1797.36	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.37/1797.36	c   vbounds          :          0          0          0          0
1797.37/1797.36	c   rootredcost      :          0          0          0          0
1797.37/1797.36	c   pseudoobj        :          0          0          0          0
1797.37/1797.36	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.37/1797.36	c   vbounds          :       0.04       0.04       0.00
1797.37/1797.36	c   rootredcost      :       0.02       0.02       0.00
1797.37/1797.36	c   pseudoobj        :       0.02       0.02       0.00
1797.37/1797.36	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.37/1797.36	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.37/1797.36	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.37/1797.36	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.37/1797.36	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.37/1797.36	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.37/1797.36	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.37/1797.36	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.96/1797.94	c Time complete: 1798.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3486287-1307792408/watcher-3486287-1307792408 -o /tmp/evaluation-result-3486287-1307792408/solver-3486287-1307792408 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486287-1307792408.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 1.85 5/175 32436
/proc/meminfo: memFree=31689504/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=10152 CPUtime=0 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 1529 0 0 0 0 0 0 0 25 0 1 0 890837943 10395648 1483 33554432000 4194304 8979876 140735565919456 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 2538 1483 366 1169 0 1365 0

[startup+0.0177139 s]
/proc/loadavg: 2.00 2.00 1.85 5/175 32436
/proc/meminfo: memFree=31689504/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=13204 CPUtime=0.01 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 2320 0 0 0 1 0 0 0 25 0 1 0 890837943 13520896 2274 33554432000 4194304 8979876 140735565919456 18446744073709551615 6204168 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 3301 2274 366 1169 0 2128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13204

[startup+0.100723 s]
/proc/loadavg: 2.00 2.00 1.85 5/175 32436
/proc/meminfo: memFree=31689504/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 890837943 28205056 5858 33554432000 4194304 8979876 140735565919456 18446744073709551615 4328246 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.300685 s]
/proc/loadavg: 2.00 2.00 1.85 5/175 32436
/proc/meminfo: memFree=31689504/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=52652 CPUtime=0.28 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 12159 0 0 0 28 0 0 0 25 0 1 0 890837943 53915648 12114 33554432000 4194304 8979876 140735565919456 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 13163 12116 366 1169 0 11990 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52652

[startup+0.700611 s]
/proc/loadavg: 2.00 2.00 1.85 5/175 32436
/proc/meminfo: memFree=31689504/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=78604 CPUtime=0.69 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 18618 0 0 0 68 1 0 0 25 0 1 0 890837943 80490496 18572 33554432000 4194304 8979876 140735565919456 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 19651 18572 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604

[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=31489368/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=273676 CPUtime=1.49 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 66476 0 0 0 143 6 0 0 25 0 1 0 890837943 280244224 66392 33554432000 4194304 8979876 140735565919456 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 68419 66419 422 1169 0 67246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 273676

[startup+3.10115 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=30899920/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=497772 CPUtime=3.09 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 131410 0 0 0 296 13 0 0 25 0 1 0 890837943 509718528 121169 33554432000 4194304 8979876 140735565919456 18446744073709551615 6504367 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 124443 121169 494 1169 0 123270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497772

[startup+6.30054 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=30382996/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=725424 CPUtime=6.29 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 187583 0 0 0 610 19 0 0 25 0 1 0 890837943 742834176 177342 33554432000 4194304 8979876 140735565919456 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 181356 177342 494 1169 0 180183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725424

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32443
/proc/meminfo: memFree=29960660/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=874200 CPUtime=12.69 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 224037 0 0 0 1246 23 0 0 25 0 1 0 890837943 895180800 212703 33554432000 4194304 8979876 140735565919456 18446744073709551615 6783376 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 218550 212703 504 1169 0 217377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 874200

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32444
/proc/meminfo: memFree=29788564/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=984496 CPUtime=25.49 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 264404 0 0 0 2520 29 0 0 25 0 1 0 890837943 1008123904 239216 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 246124 239216 602 1169 0 244951 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 984496

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 32445
/proc/meminfo: memFree=29713500/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1027772 CPUtime=51.09 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 274752 0 0 0 5079 30 0 0 25 0 1 0 890837943 1052438528 249432 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 256943 249432 602 1169 0 255770 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1027772

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32446
/proc/meminfo: memFree=29574480/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1089532 CPUtime=102.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 290051 0 0 0 10198 32 0 0 25 0 1 0 890837943 1115680768 264731 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 272383 264731 602 1169 0 271210 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1089532

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 32447
/proc/meminfo: memFree=29303272/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1229832 CPUtime=162.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 324309 0 0 0 16194 36 0 0 25 0 1 0 890837943 1259347968 298989 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 307458 298989 602 1169 0 306285 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1229832

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 32449
/proc/meminfo: memFree=29030696/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1299376 CPUtime=222.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 342045 0 0 0 22192 38 0 0 25 0 1 0 890837943 1330561024 316725 33554432000 4194304 8979876 140735565919456 18446744073709551615 6493504 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 324844 316725 602 1169 0 323671 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1299376

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 32451
/proc/meminfo: memFree=28728236/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1422788 CPUtime=282.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 373336 0 0 0 28188 42 0 0 25 0 1 0 890837943 1456934912 347455 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 355697 347455 602 1169 0 354524 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1422788

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 32452
/proc/meminfo: memFree=28521128/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1533400 CPUtime=342.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 400412 0 0 0 34186 44 0 0 25 0 1 0 890837943 1570201600 374531 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 383350 374531 602 1169 0 382177 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1533400

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 32454
/proc/meminfo: memFree=28234788/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1689660 CPUtime=402.3 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 439044 0 0 0 40181 49 0 0 25 0 1 0 890837943 1730211840 413130 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 422415 413130 602 1169 0 421242 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1689660

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 32455
/proc/meminfo: memFree=28045536/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1794744 CPUtime=462.31 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 465596 0 0 0 46178 53 0 0 25 0 1 0 890837943 1837817856 439682 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 448686 439682 602 1169 0 447513 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1794744

[startup+522.301 s]
/proc/loadavg: 2.11 2.03 1.91 3/178 32457
/proc/meminfo: memFree=27802472/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=1944336 CPUtime=522.31 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 502726 0 0 0 52173 58 0 0 25 0 1 0 890837943 1991000064 476812 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 486084 476812 602 1169 0 484911 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1944336

[startup+582.301 s]
/proc/loadavg: 2.04 2.02 1.91 3/178 32459
/proc/meminfo: memFree=27641368/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2025200 CPUtime=582.31 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 522204 0 0 0 58171 60 0 0 25 0 1 0 890837943 2073804800 496290 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 506300 496290 602 1169 0 505127 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2025200

[startup+642.301 s]

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

/proc/meminfo: memFree=26188968/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2666972 CPUtime=1062.34 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 681833 0 0 0 106153 81 0 0 25 0 1 0 890837943 2730979328 655655 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 666743 655655 607 1169 0 665570 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2666972

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/178 32473
/proc/meminfo: memFree=26065184/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2718224 CPUtime=1122.33 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 694529 0 0 0 112151 82 0 0 25 0 1 0 890837943 2783461376 668351 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503276 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 679556 668351 607 1169 0 678383 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2718224

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 32475
/proc/meminfo: memFree=25977728/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2763208 CPUtime=1182.34 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 705772 0 0 0 118150 84 0 0 25 0 1 0 890837943 2829524992 679594 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 690802 679594 607 1169 0 689629 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2763208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/178 32476
/proc/meminfo: memFree=25826296/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2809584 CPUtime=1242.34 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 717433 0 0 0 124149 85 0 0 25 0 1 0 890837943 2877014016 691255 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 702396 691255 607 1169 0 701223 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2809584

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32487
/proc/meminfo: memFree=25709056/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2864108 CPUtime=1302.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 730917 0 0 0 130147 88 0 0 25 0 1 0 890837943 2932846592 704739 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 716027 704739 607 1169 0 714854 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2864108

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32488
/proc/meminfo: memFree=25604000/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2911364 CPUtime=1362.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 742505 0 0 0 136145 90 0 0 25 0 1 0 890837943 2981236736 716327 33554432000 4194304 8979876 140735565919456 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 727841 716327 607 1169 0 726668 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2911364

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32490
/proc/meminfo: memFree=25509356/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2938948 CPUtime=1422.36 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 750554 0 0 0 142145 91 0 0 25 0 1 0 890837943 3009482752 724376 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 734737 724376 607 1169 0 733564 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 2938948

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32495
/proc/meminfo: memFree=25411052/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2974988 CPUtime=1482.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 759537 0 0 0 148143 92 0 0 25 0 1 0 890837943 3046387712 733359 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 743747 733359 607 1169 0 742574 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2974988

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32496
/proc/meminfo: memFree=25326292/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3007016 CPUtime=1542.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 768018 0 0 0 154142 93 0 0 25 0 1 0 890837943 3079184384 741840 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 751754 741840 607 1169 0 750581 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3007016

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32498
/proc/meminfo: memFree=25219752/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3046292 CPUtime=1602.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 777596 0 0 0 160141 94 0 0 25 0 1 0 890837943 3119403008 751418 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503345 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 761573 751418 607 1169 0 760400 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3046292

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32499
/proc/meminfo: memFree=25120024/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3077060 CPUtime=1662.35 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 785000 0 0 0 166140 95 0 0 25 0 1 0 890837943 3150909440 758822 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503520 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 769265 758822 607 1169 0 768092 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3077060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32501
/proc/meminfo: memFree=25000340/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3125880 CPUtime=1722.36 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 796413 0 0 0 172139 97 0 0 25 0 1 0 890837943 3200901120 770235 33554432000 4194304 8979876 140735565919456 18446744073709551615 6492579 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 781470 770235 607 1169 0 780297 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3125880

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24901232/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3170960 CPUtime=1782.36 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 807892 0 0 0 178138 98 0 0 25 0 1 0 890837943 3247063040 781714 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 792740 781714 607 1169 0 791567 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3170960

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24895404/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3171944 CPUtime=1785.56 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 808361 0 0 0 178458 98 0 0 25 0 1 0 890837943 3248070656 782183 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 792986 782183 607 1169 0 791813 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 3171944

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24882004/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3179980 CPUtime=1791.96 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 809895 0 0 0 179098 98 0 0 25 0 1 0 890837943 3256299520 783717 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 794995 783717 607 1169 0 793822 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 3179980

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24874936/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3182908 CPUtime=1795.17 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 810729 0 0 0 179418 99 0 0 25 0 1 0 890837943 3259297792 784551 33554432000 4194304 8979876 140735565919456 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 795727 784551 607 1169 0 794554 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 3182908

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24873944/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3183928 CPUtime=1796.76 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 811048 0 0 0 179577 99 0 0 25 0 1 0 890837943 3260342272 784870 33554432000 4194304 8979876 140735565919456 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32435/statm: 795982 784870 607 1169 0 794809 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 3183928

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24877416/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=3183332 CPUtime=1797.56 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 812196 0 0 0 179657 99 0 0 18 0 1 0 890837943 3259731968 784969 33554432000 4194304 8979876 140735565919456 18446744073709551615 6492247 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 795833 784969 618 1169 0 794660 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 3183332

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32503
/proc/meminfo: memFree=24877416/32950928 swapFree=67055428/67111528
[pid=32435] ppid=32432 vsize=2164660 CPUtime=1797.96 cores=0,2,4,6
/proc/32435/stat : 32435 (scip-2.0.1.4_2.) R 32432 32435 26980 0 -1 4202496 812212 0 0 0 179689 107 0 0 18 0 1 0 890837943 2216611840 298974 33554432000 4194304 8979876 140735565919456 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/32435/statm: 541165 298462 634 1169 0 539992 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 2164660

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.02
CPU user time (s): 1796.9
CPU system time (s): 1.11583
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3185544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.9
system time used= 1.11583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 812217
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= 4
involuntary context switches= 2757

runsolver used 2.69659 second user time and 5.63614 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-11 13:40:09
IDJOB=3486287
IDBENCH=77150
IDSOLVER=1977
FILE ID=node148/3486287-1307792408
RUNJOBID= node148-1307790611-32290
PBS_JOBID= 13550868
Free space on /tmp= 74028 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12016_2.std.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486287-1307792408/watcher-3486287-1307792408 -o /tmp/evaluation-result-3486287-1307792408/solver-3486287-1307792408 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486287-1307792408.opb -t 1800 -m 15500

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

MD5SUM BENCH= cccd345daea74d5d7e187f797768ed88
RANDOM SEED=353297748

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31690088 kB
Buffers:        164456 kB
Cached:         915348 kB
SwapCached:       8836 kB
Active:         371492 kB
Inactive:       726616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31690088 kB
SwapTotal:    67111528 kB
SwapFree:     67055428 kB
Dirty:           48924 kB
Writeback:           0 kB
AnonPages:       15504 kB
Mapped:          13136 kB
Slab:            98124 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74020 MiB
End job on node148 at 2011-06-11 14:10:07