Trace number 3486315

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)? 1797.69 1797.65

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12057_1.std.opb
MD5SUMc5fc99dbb0a3becca43a9267891fcd33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark1800.11
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 constraints256080
Number of constraints which are clauses254880
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-3486315-1307793494.opb>
1.29/1.38	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256080 constraints
1.29/1.38	c problem read
1.29/1.38	c presolving settings loaded
2.20/2.25	c presolving:
10.39/10.46	c (round 1) 8415 del vars, 24630 del conss, 0 add conss, 6727 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17108448 impls, 0 clqs
14.89/14.94	c (round 2) 15696 del vars, 57449 del conss, 0 add conss, 13637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17153467 impls, 0 clqs
16.29/16.40	c (round 3) 18675 del vars, 71135 del conss, 0 add conss, 15416 chg bounds, 28 chg sides, 40 chg coeffs, 0 upgd conss, 17176968 impls, 0 clqs
17.19/17.25	c (round 4) 20163 del vars, 77277 del conss, 0 add conss, 16434 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17190663 impls, 0 clqs
17.89/17.90	c (round 5) 21434 del vars, 82152 del conss, 0 add conss, 17262 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17206416 impls, 0 clqs
18.29/18.35	c (round 6) 22312 del vars, 85677 del conss, 0 add conss, 17788 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17216560 impls, 0 clqs
18.60/18.70	c (round 7) 22952 del vars, 88212 del conss, 0 add conss, 18165 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17224525 impls, 0 clqs
18.89/18.94	c (round 8) 23423 del vars, 90155 del conss, 0 add conss, 18437 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17230881 impls, 0 clqs
19.09/19.12	c (round 9) 23737 del vars, 91434 del conss, 0 add conss, 18607 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17235664 impls, 0 clqs
19.19/19.25	c (round 10) 23908 del vars, 92234 del conss, 0 add conss, 18698 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17238307 impls, 0 clqs
19.29/19.37	c (round 11) 24017 del vars, 92705 del conss, 0 add conss, 18756 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17239760 impls, 0 clqs
19.39/19.45	c (round 12) 24066 del vars, 92963 del conss, 0 add conss, 18777 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240509 impls, 0 clqs
19.49/19.53	c (round 13) 24092 del vars, 93088 del conss, 0 add conss, 18791 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240891 impls, 0 clqs
19.59/19.61	c (round 14) 24110 del vars, 93170 del conss, 0 add conss, 18797 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241014 impls, 0 clqs
19.59/19.66	c (round 15) 24114 del vars, 93200 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241032 impls, 0 clqs
20.29/20.32	c (round 16) 24114 del vars, 93204 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 162876 upgd conss, 17241032 impls, 0 clqs
801.91/801.99	c    (802.0s) probing: 1000/48728 (2.1%) - 15 fixings, 9 aggregations, 13101516 implications, 0 bound changes
1443.52/1443.55	c    (1443.5s) probing: 2000/48728 (4.1%) - 29 fixings, 10 aggregations, 21495169 implications, 0 bound changes
1797.03/1797.04	c    (1797.0s) probing: 2669/48728 (5.5%) - 29 fixings, 12 aggregations, 26579954 implications, 0 bound changes
1797.03/1797.04	c    (1797.0s) probing aborted: solving stopped
1797.03/1797.04	c (round 17) 24155 del vars, 93204 del conss, 2 add conss, 18798 chg bounds, 40 chg sides, 167 chg coeffs, 162876 upgd conss, 117959418 impls, 0 clqs
1797.03/1797.04	c presolving (17 rounds):
1797.03/1797.04	c  24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1797.03/1797.04	c  117959418 implications, 0 cliques
1797.03/1797.04	c presolving was interrupted.
1797.03/1797.04	c Presolving Time: 1795.43
1797.03/1797.04	c - non default parameters ----------------------------------------------------------------------
1797.03/1797.04	c # SCIP version 2.0.1.4
1797.03/1797.04	c 
1797.03/1797.04	c # frequency for displaying node information lines
1797.03/1797.04	c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.04	c display/freq = 10000
1797.03/1797.04	c 
1797.03/1797.04	c # maximal time in seconds to run
1797.03/1797.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.04	c limits/time = 1797
1797.03/1797.04	c 
1797.03/1797.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.04	c limits/memory = 13950
1797.03/1797.04	c 
1797.03/1797.04	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.04	c # [type: int, range: [1,2], default: 1]
1797.03/1797.04	c timing/clocktype = 2
1797.03/1797.04	c 
1797.03/1797.04	c # belongs reading time to solving time?
1797.03/1797.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.04	c timing/reading = TRUE
1797.03/1797.04	c 
1797.03/1797.04	c # should presolving try to simplify inequalities
1797.03/1797.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.04	c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.04	c 
1797.03/1797.04	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.04	c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.04	c 
1797.03/1797.04	c # should presolving try to simplify knapsacks
1797.03/1797.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.04	c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.04	c 
1797.03/1797.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.04	c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.04	c separating/rapidlearning/freq = 0
1797.03/1797.04	c 
1797.03/1797.04	c -----------------------------------------------------------------------------------------------
1797.03/1797.04	c start solving
1797.03/1797.07	c presolving:
1797.03/1797.07	c presolving (17 rounds):
1797.03/1797.07	c  24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1797.03/1797.07	c  117959418 implications, 0 cliques
1797.03/1797.07	c presolving was interrupted.
1797.03/1797.07	c Presolving Time: 1795.46
1797.03/1797.07	c 
1797.03/1797.07	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.07	c Solving Time (sec) : 1797.07
1797.03/1797.07	c Solving Nodes      : 0
1797.03/1797.07	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.03/1797.07	s UNKNOWN
1797.03/1797.07	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.07	c Total Time         :    1797.07
1797.03/1797.07	c   solving          :    1797.07
1797.03/1797.07	c   presolving       :    1795.46 (included in solving)
1797.03/1797.07	c   reading          :       1.38 (included in solving)
1797.03/1797.07	c Original Problem   :
1797.03/1797.07	c   Problem name     : HOME/instance-3486315-1307793494.opb
1797.03/1797.07	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.07	c   Constraints      : 256080 initial, 256080 maximal
1797.03/1797.07	c Presolved Problem  :
1797.03/1797.07	c   Problem name     : t_HOME/instance-3486315-1307793494.opb
1797.03/1797.07	c   Variables        : 48687 (48687 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.07	c   Constraints      : 162878 initial, 162878 maximal
1797.03/1797.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.03/1797.07	c   trivial          :       0.05       1157          0          0          0          0          0          0          0          0
1797.03/1797.07	c   dualfix          :       0.08        121          0          0          0          0          0          0          0          0
1797.03/1797.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   implics          :       0.53          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   probing          :    1775.74         29         12          0          0          0          0          0          0          0
1797.03/1797.07	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   knapsack         :       0.73          0          0          0          0          0          0          2         10        125
1797.03/1797.07	c   setppc           :       0.19          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   linear           :      17.22      17641       5195          0      18798          0      93204          0         30         42
1797.03/1797.07	c   logicor          :       0.03          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.03/1797.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.07	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   knapsack         :          0+         0     129518          0          0          0          0          8          0          0          0          0
1797.03/1797.07	c   setppc           :          0+         0     129510          0          0          0          0          6          0          0          0          0
1797.03/1797.07	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   logicor          :          0+         0     116658          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.03/1797.07	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.07	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.07	c   knapsack         :       9.17       0.00       9.17       0.00       0.00       0.00       0.00
1797.03/1797.07	c   setppc           :     699.28       0.00     699.28       0.00       0.00       0.00       0.00
1797.03/1797.07	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.07	c   logicor          :       9.93       0.00       9.93       0.00       0.00       0.00       0.00
1797.03/1797.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.07	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.03/1797.07	c   vbounds          :          0          0          0          0
1797.03/1797.07	c   rootredcost      :          0          0          0          0
1797.03/1797.07	c   pseudoobj        :          0          0          0          0
1797.03/1797.07	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.03/1797.07	c   vbounds          :       0.04       0.04       0.00
1797.03/1797.07	c   rootredcost      :       0.02       0.02       0.00
1797.03/1797.07	c   pseudoobj        :       0.02       0.02       0.00
1797.03/1797.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.03/1797.07	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.03/1797.07	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.03/1797.07	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.03/1797.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.63/1797.65	c Time complete: 1797.68.

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

running on 4 cores: 1,3,5,7

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/174 14417
/proc/meminfo: memFree=30386044/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 890949856 10567680 1528 33554432000 4194304 8979876 140734307193808 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14417/statm: 2580 1528 366 1169 0 1407 0

[startup+0.0584009 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14417
/proc/meminfo: memFree=30386044/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=21736 CPUtime=0.05 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 4420 0 0 0 5 0 0 0 25 0 1 0 890949856 22257664 4374 33554432000 4194304 8979876 140734307193808 18446744073709551615 4903285 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14417/statm: 5434 4374 366 1169 0 4261 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21736

[startup+0.100391 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14417
/proc/meminfo: memFree=30386044/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 5904 0 0 0 9 0 0 0 25 0 1 0 890949856 28209152 5858 33554432000 4194304 8979876 140734307193808 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14417/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548

[startup+0.300354 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14417
/proc/meminfo: memFree=30386044/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=52656 CPUtime=0.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 12162 0 0 0 28 1 0 0 25 0 1 0 890949856 53919744 12116 33554432000 4194304 8979876 140734307193808 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14417/statm: 13164 12116 366 1169 0 11991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52656

[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 14417
/proc/meminfo: memFree=30386044/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=75412 CPUtime=0.69 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 17826 0 0 0 67 2 0 0 25 0 1 0 890949856 77221888 17780 33554432000 4194304 8979876 140734307193808 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14417/statm: 18853 17780 366 1169 0 17680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75412

[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14418
/proc/meminfo: memFree=30287604/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=228760 CPUtime=1.49 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 55917 0 0 0 143 6 0 0 25 0 1 0 890949856 234250240 55833 33554432000 4194304 8979876 140734307193808 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 57190 55833 416 1169 0 56017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 228760

[startup+3.10085 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14418
/proc/meminfo: memFree=29954540/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=494388 CPUtime=3.09 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 133372 0 0 0 294 15 0 0 25 0 1 0 890949856 506253312 120966 33554432000 4194304 8979876 140734307193808 18446744073709551615 4917197 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 123597 120966 487 1169 0 122424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 494388

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14418
/proc/meminfo: memFree=29720124/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=721036 CPUtime=6.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 189669 0 0 0 608 21 0 0 25 0 1 0 890949856 738340864 177263 33554432000 4194304 8979876 140734307193808 18446744073709551615 6783184 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 180259 177263 494 1169 0 179086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721036

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14418
/proc/meminfo: memFree=29471144/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=913380 CPUtime=12.69 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 235553 0 0 0 1243 26 0 0 25 0 1 0 890949856 935301120 222694 33554432000 4194304 8979876 140734307193808 18446744073709551615 6504351 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 228345 222694 504 1169 0 227172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 913380

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14419
/proc/meminfo: memFree=29394264/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=972628 CPUtime=25.49 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 265962 0 0 0 2519 30 0 0 25 0 1 0 890949856 995971072 237236 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 243157 237236 551 1169 0 241984 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 972628

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14419
/proc/meminfo: memFree=29275268/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1014932 CPUtime=51.1 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 276468 0 0 0 5078 32 0 0 25 0 1 0 890949856 1039290368 247412 33554432000 4194304 8979876 140734307193808 18446744073709551615 5546436 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 253733 247412 551 1169 0 252560 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1014932

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14421
/proc/meminfo: memFree=29103672/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1088748 CPUtime=102.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 294302 0 0 0 10196 33 0 0 25 0 1 0 890949856 1114877952 265246 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 272187 265246 551 1169 0 271014 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1088748

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14422
/proc/meminfo: memFree=28892224/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1216164 CPUtime=162.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 325941 0 0 0 16193 36 0 0 25 0 1 0 890949856 1245351936 296687 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 304041 296687 551 1169 0 302868 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1216164

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14433
/proc/meminfo: memFree=28566752/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1407656 CPUtime=222.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 373492 0 0 0 22188 41 0 0 25 0 1 0 890949856 1441439744 344040 33554432000 4194304 8979876 140734307193808 18446744073709551615 4329922 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 351914 344040 551 1169 0 350741 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1407656

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14434
/proc/meminfo: memFree=28341284/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1584176 CPUtime=282.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 416984 0 0 0 28182 47 0 0 25 0 1 0 890949856 1622196224 387433 33554432000 4194304 8979876 140734307193808 18446744073709551615 6504296 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14417/statm: 396044 387433 551 1169 0 394871 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1584176

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14439
/proc/meminfo: memFree=28103512/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1745484 CPUtime=342.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 456722 0 0 0 34179 50 0 0 25 0 1 0 890949856 1787375616 427171 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 436371 427171 551 1169 0 435198 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1745484

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14441
/proc/meminfo: memFree=27816180/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=1917280 CPUtime=402.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 499144 0 0 0 40172 57 0 0 25 0 1 0 890949856 1963294720 469593 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 479320 469593 551 1169 0 478147 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1917280

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14442
/proc/meminfo: memFree=27584388/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=2056720 CPUtime=462.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 534380 0 0 0 46166 63 0 0 25 0 1 0 890949856 2106081280 504829 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503483 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 514180 504829 551 1169 0 513007 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2056720

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14444
/proc/meminfo: memFree=27321100/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=2203160 CPUtime=522.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 570566 0 0 0 52161 68 0 0 25 0 1 0 890949856 2256035840 541015 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 550790 541015 551 1169 0 549617 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2203160

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14445
/proc/meminfo: memFree=27133208/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=2316220 CPUtime=582.29 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 598695 0 0 0 58158 71 0 0 25 0 1 0 890949856 2371809280 569144 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 579055 569144 551 1169 0 577882 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2316220

[startup+642.301 s]

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

/proc/meminfo: memFree=25861568/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3224224 CPUtime=1122.31 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 824183 0 0 0 112127 104 0 0 25 0 1 0 890949856 3301605376 794632 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537629 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 806056 794632 556 1169 0 804883 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3224224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14461
/proc/meminfo: memFree=25756884/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3300896 CPUtime=1182.31 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 843066 0 0 0 118124 107 0 0 25 0 1 0 890949856 3380117504 813515 33554432000 4194304 8979876 140734307193808 18446744073709551615 4460176 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 825224 813515 556 1169 0 824051 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3300896

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14463
/proc/meminfo: memFree=25565528/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3388152 CPUtime=1242.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 864853 0 0 0 124122 110 0 0 25 0 1 0 890949856 3469467648 835302 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 847038 835302 556 1169 0 845865 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3388152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14465
/proc/meminfo: memFree=25444964/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3454648 CPUtime=1302.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 882134 0 0 0 130120 112 0 0 25 0 1 0 890949856 3537559552 852583 33554432000 4194304 8979876 140734307193808 18446744073709551615 4318144 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 863662 852583 556 1169 0 862489 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3454648

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14466
/proc/meminfo: memFree=25339040/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3526460 CPUtime=1362.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 899582 0 0 0 136117 115 0 0 25 0 1 0 890949856 3611095040 870031 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 881615 870031 556 1169 0 880442 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3526460

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 14468
/proc/meminfo: memFree=25204964/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3579848 CPUtime=1422.33 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 913288 0 0 0 142115 118 0 0 25 0 1 0 890949856 3665764352 883737 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 894962 883737 556 1169 0 893789 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3579848

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 14469
/proc/meminfo: memFree=25049056/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3645004 CPUtime=1482.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 929031 0 0 0 148112 120 0 0 25 0 1 0 890949856 3732484096 899480 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 911251 899480 556 1169 0 910078 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3645004

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14471
/proc/meminfo: memFree=24909024/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3720652 CPUtime=1542.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 948399 0 0 0 154110 122 0 0 25 0 1 0 890949856 3809947648 918848 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 930163 918848 556 1169 0 928990 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3720652

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 14511
/proc/meminfo: memFree=27546120/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3787820 CPUtime=1602.32 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 965091 0 0 0 160108 124 0 0 25 0 1 0 890949856 3878727680 935540 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 946955 935540 556 1169 0 945782 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3787820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14512
/proc/meminfo: memFree=27343476/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3856052 CPUtime=1662.33 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 982555 0 0 0 166106 127 0 0 25 0 1 0 890949856 3948597248 953004 33554432000 4194304 8979876 140734307193808 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 964264 953031 556 1169 0 963091 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3856052

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 14514
/proc/meminfo: memFree=27157320/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3913080 CPUtime=1722.33 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 995869 0 0 0 172105 128 0 0 25 0 1 0 890949856 4006993920 966318 33554432000 4194304 8979876 140734307193808 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 978270 966318 556 1169 0 977097 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3913080

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14515
/proc/meminfo: memFree=26989768/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3966100 CPUtime=1782.33 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1009383 0 0 0 178102 131 0 0 25 0 1 0 890949856 4061286400 979832 33554432000 4194304 8979876 140734307193808 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 991525 979832 556 1169 0 990352 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3966100

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26980712/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3970096 CPUtime=1785.53 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1010407 0 0 0 178422 131 0 0 25 0 1 0 890949856 4065378304 980856 33554432000 4194304 8979876 140734307193808 18446744073709551615 5539227 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 992524 980856 556 1169 0 991351 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3970096

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26959256/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3977104 CPUtime=1791.94 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1011817 0 0 0 179063 131 0 0 25 0 1 0 890949856 4072554496 982266 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 994276 982266 556 1169 0 993103 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3977104

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26947844/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3979716 CPUtime=1795.14 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1012538 0 0 0 179383 131 0 0 25 0 1 0 890949856 4075229184 982987 33554432000 4194304 8979876 140734307193808 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 994929 982987 556 1169 0 993756 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3979716

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26943256/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3980720 CPUtime=1796.73 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1012817 0 0 0 179542 131 0 0 25 0 1 0 890949856 4076257280 983266 33554432000 4194304 8979876 140734307193808 18446744073709551615 4351191 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14417/statm: 995180 983266 556 1169 0 994007 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3980720

[startup+1797.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26943256/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3980436 CPUtime=1797.13 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1013402 0 0 0 179582 131 0 0 25 0 1 0 890949856 4075966464 983322 33554432000 4194304 8979876 140734307193808 18446744073709551615 4318595 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14417/statm: 995109 983322 567 1169 0 993936 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 3980436

[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26959748/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3607772 CPUtime=1797.53 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1013406 0 0 0 179620 133 0 0 25 0 1 0 890949856 3694358528 890571 33554432000 4194304 8979876 140734307193808 18446744073709551615 6783320 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14417/statm: 901943 890571 571 1169 0 900770 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3607772

[startup+1797.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14516
/proc/meminfo: memFree=26959748/32951124 swapFree=67060628/67111528
[pid=14417] ppid=14415 vsize=3230016 CPUtime=1797.63 cores=1,3,5,7
/proc/14417/stat : 14417 (scip-2.0.1.4_2.) R 14415 14417 13525 0 -1 4202496 1013418 0 0 0 179623 140 0 0 25 0 1 0 890949856 3307536384 355505 33554432000 4194304 8979876 140734307193808 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14417/statm: 807504 355057 583 1169 0 806331 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 3230016

Child status: 0
Real time (s): 1797.65
CPU time (s): 1797.69
CPU user time (s): 1796.23
CPU system time (s): 1.45878
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3980720

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

runsolver used 2.49362 second user time and 5.9001 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-11 13:58:15
IDJOB=3486315
IDBENCH=77513
IDSOLVER=1977
FILE ID=node106/3486315-1307793494
RUNJOBID= node106-1307784141-13544
PBS_JOBID= 13550898
Free space on /tmp= 73988 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12057_1.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-3486315-1307793494/watcher-3486315-1307793494 -o /tmp/evaluation-result-3486315-1307793494/solver-3486315-1307793494 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486315-1307793494.opb -t 1800 -m 15500

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

MD5SUM BENCH= c5fc99dbb0a3becca43a9267891fcd33
RANDOM SEED=558639175

node106.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.830
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.66
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.830
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	: 5226.20
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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30387340 kB
Buffers:        145856 kB
Cached:         844264 kB
SwapCached:      12488 kB
Active:        1678708 kB
Inactive:       722732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30387340 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:           24980 kB
Writeback:           0 kB
AnonPages:     1409248 kB
Mapped:          12464 kB
Slab:            95260 kB
PageTables:       7180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1600048 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= 73976 MiB
End job on node106 at 2011-06-11 14:28:12