Trace number 3486293

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.73 1797.69

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12021_8.std.opb
MD5SUM33a0c5076a13a0bc08e55dbdcaafa3d4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark1.42278
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 constraints245119
Number of constraints which are clauses243919
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 constraint37
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-3486293-1307792387.opb>
1.20/1.28	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints
1.20/1.28	c problem read
1.20/1.28	c presolving settings loaded
1.99/2.08	c presolving:
9.90/9.95	c (round 1) 6854 del vars, 20781 del conss, 0 add conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs
14.49/14.52	c (round 2) 14849 del vars, 53140 del conss, 0 add conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs
15.89/15.91	c (round 3) 17795 del vars, 66903 del conss, 0 add conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs
16.69/16.78	c (round 4) 19319 del vars, 72661 del conss, 0 add conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs
17.39/17.43	c (round 5) 20634 del vars, 77571 del conss, 0 add conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs
17.79/17.87	c (round 6) 21481 del vars, 80847 del conss, 0 add conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs
18.09/18.17	c (round 7) 22071 del vars, 83150 del conss, 0 add conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs
18.29/18.39	c (round 8) 22469 del vars, 84751 del conss, 0 add conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs
18.49/18.55	c (round 9) 22743 del vars, 85862 del conss, 0 add conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs
18.60/18.66	c (round 10) 22932 del vars, 86610 del conss, 0 add conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs
18.79/18.86	c (round 11) 23069 del vars, 87168 del conss, 0 add conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs
18.89/18.96	c (round 12) 23173 del vars, 87614 del conss, 0 add conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs
19.09/19.18	c (round 13) 23245 del vars, 87888 del conss, 0 add conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs
19.19/19.23	c (round 14) 23325 del vars, 88226 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
19.19/19.28	c (round 15) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
19.80/19.86	c (round 16) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs
20.19/20.22	c (round 17) 23325 del vars, 88261 del conss, 68 add conss, 18370 chg bounds, 206 chg sides, 397 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs
666.11/666.11	c    (666.1s) probing: 1000/49517 (2.0%) - 6 fixings, 1 aggregations, 10369264 implications, 0 bound changes
1154.93/1154.94	c    (1154.9s) probing: 2000/49517 (4.0%) - 13 fixings, 5 aggregations, 16397670 implications, 0 bound changes
1597.63/1597.69	c    (1597.7s) probing: 3000/49517 (6.1%) - 13 fixings, 6 aggregations, 21848219 implications, 0 bound changes
1797.03/1797.08	c    (1797.1s) probing: 3435/49517 (6.9%) - 13 fixings, 6 aggregations, 24225690 implications, 0 bound changes
1797.03/1797.08	c    (1797.1s) probing aborted: solving stopped
1797.03/1797.08	c (round 18) 23344 del vars, 88265 del conss, 68 add conss, 18370 chg bounds, 209 chg sides, 409 chg coeffs, 156867 upgd conss, 107031322 impls, 3490 clqs
1797.03/1797.08	c presolving (18 rounds):
1797.03/1797.08	c  23344 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1797.03/1797.08	c  107031322 implications, 3490 cliques
1797.03/1797.08	c presolving was interrupted.
1797.03/1797.08	c Presolving Time: 1795.57
1797.03/1797.08	c - non default parameters ----------------------------------------------------------------------
1797.03/1797.08	c # SCIP version 2.0.1.4
1797.03/1797.08	c 
1797.03/1797.08	c # frequency for displaying node information lines
1797.03/1797.08	c # [type: int, range: [-1,2147483647], default: 100]
1797.03/1797.08	c display/freq = 10000
1797.03/1797.08	c 
1797.03/1797.08	c # maximal time in seconds to run
1797.03/1797.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08	c limits/time = 1797
1797.03/1797.08	c 
1797.03/1797.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.03/1797.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.03/1797.08	c limits/memory = 13950
1797.03/1797.08	c 
1797.03/1797.08	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.03/1797.08	c # [type: int, range: [1,2], default: 1]
1797.03/1797.08	c timing/clocktype = 2
1797.03/1797.08	c 
1797.03/1797.08	c # belongs reading time to solving time?
1797.03/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08	c timing/reading = TRUE
1797.03/1797.08	c 
1797.03/1797.08	c # should presolving try to simplify inequalities
1797.03/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08	c constraints/linear/simplifyinequalities = TRUE
1797.03/1797.08	c 
1797.03/1797.08	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.03/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08	c constraints/indicator/addCouplingCons = TRUE
1797.03/1797.08	c 
1797.03/1797.08	c # should presolving try to simplify knapsacks
1797.03/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.03/1797.08	c constraints/knapsack/simplifyinequalities = TRUE
1797.03/1797.08	c 
1797.03/1797.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.03/1797.08	c # [type: int, range: [-1,2147483647], default: -1]
1797.03/1797.08	c separating/rapidlearning/freq = 0
1797.03/1797.08	c 
1797.03/1797.08	c -----------------------------------------------------------------------------------------------
1797.03/1797.08	c start solving
1797.13/1797.15	c presolving:
1797.13/1797.15	c presolving (18 rounds):
1797.13/1797.15	c  23344 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1797.13/1797.15	c  107031322 implications, 3490 cliques
1797.13/1797.15	c presolving was interrupted.
1797.13/1797.15	c Presolving Time: 1795.64
1797.13/1797.15	c 
1797.13/1797.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.13/1797.15	c Solving Time (sec) : 1797.15
1797.13/1797.15	c Solving Nodes      : 0
1797.13/1797.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.13/1797.15	s UNKNOWN
1797.13/1797.15	c SCIP Status        : solving was interrupted [time limit reached]
1797.13/1797.15	c Total Time         :    1797.15
1797.13/1797.15	c   solving          :    1797.15
1797.13/1797.15	c   presolving       :    1795.64 (included in solving)
1797.13/1797.15	c   reading          :       1.28 (included in solving)
1797.13/1797.15	c Original Problem   :
1797.13/1797.15	c   Problem name     : HOME/instance-3486293-1307792387.opb
1797.13/1797.15	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.15	c   Constraints      : 245119 initial, 245119 maximal
1797.13/1797.15	c Presolved Problem  :
1797.13/1797.15	c   Problem name     : t_HOME/instance-3486293-1307792387.opb
1797.13/1797.15	c   Variables        : 49498 (49498 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.15	c   Constraints      : 156922 initial, 156922 maximal
1797.13/1797.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.13/1797.15	c   trivial          :       0.05       1129          0          0          0          0          0          0          0          0
1797.13/1797.15	c   dualfix          :       0.09        121          0          0          0          0          0          0          0          0
1797.13/1797.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   implics          :       0.53          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   probing          :    1776.63         13          6          0          0          0          0          0          0          0
1797.13/1797.15	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   knapsack         :       0.19          0          0          0          0          0         13         68         94        322
1797.13/1797.15	c   setppc           :       0.27          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   linear           :      16.97      17241       4834          0      18370          0      88252          0        115         87
1797.13/1797.15	c   logicor          :       0.08          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.13/1797.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.13/1797.15	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   knapsack         :          0+         0     157054          0          0          0          0          1          0          0          0          0
1797.13/1797.15	c   setppc           :          0+         0     157053          0          0          0          0          2          0          0          0          0
1797.13/1797.15	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c   logicor          :          0+         0     140718          0          0          0          0          2          0          0          0          0
1797.13/1797.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.13/1797.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.13/1797.15	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.13/1797.15	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.13/1797.15	c   knapsack         :       8.01       0.00       8.01       0.00       0.00       0.00       0.00
1797.13/1797.15	c   setppc           :     874.42       0.00     874.42       0.00       0.00       0.00       0.00
1797.13/1797.15	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.13/1797.15	c   logicor          :       9.59       0.00       9.59       0.00       0.00       0.00       0.00
1797.13/1797.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.13/1797.15	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.13/1797.15	c   vbounds          :          0          0          0          0
1797.13/1797.15	c   rootredcost      :          0          0          0          0
1797.13/1797.15	c   pseudoobj        :          0          0          0          0
1797.13/1797.15	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.13/1797.15	c   vbounds          :       0.06       0.06       0.00
1797.13/1797.15	c   rootredcost      :       0.03       0.03       0.00
1797.13/1797.15	c   pseudoobj        :       0.03       0.03       0.00
1797.13/1797.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.13/1797.15	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.13/1797.15	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.13/1797.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.13/1797.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.13/1797.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.13/1797.15	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.13/1797.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.63/1797.68	c Time complete: 1797.72.

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-3486293-1307792387/watcher-3486293-1307792387 -o /tmp/evaluation-result-3486293-1307792387/solver-3486293-1307792387 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486293-1307792387.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.98 2/177 19860
/proc/meminfo: memFree=30504336/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=10316 CPUtime=0 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 1573 0 0 0 0 0 0 0 25 0 1 0 969469499 10563584 1528 33554432000 4194304 8979876 140733308814704 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 2579 1528 366 1169 0 1406 0

[startup+0.086132 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 19860
/proc/meminfo: memFree=30504336/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=26244 CPUtime=0.08 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 5579 0 0 0 8 0 0 0 25 0 1 0 969469499 26873856 5534 33554432000 4194304 8979876 140733308814704 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 6561 5534 366 1169 0 5388 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26244

[startup+0.101123 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 19860
/proc/meminfo: memFree=30504336/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969469499 28205056 5858 33554432000 4194304 8979876 140733308814704 18446744073709551615 7734338 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.301094 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 19860
/proc/meminfo: memFree=30504336/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=52520 CPUtime=0.29 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 12127 0 0 0 28 1 0 0 25 0 1 0 969469499 53780480 12082 33554432000 4194304 8979876 140733308814704 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 13130 12082 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520

[startup+0.701024 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 19860
/proc/meminfo: memFree=30504336/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=76360 CPUtime=0.7 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 18047 0 0 0 68 2 0 0 25 0 1 0 969469499 78192640 18002 33554432000 4194304 8979876 140733308814704 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 19090 18002 366 1169 0 17917 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 76360

[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19861
/proc/meminfo: memFree=30403912/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=271292 CPUtime=1.49 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 66205 0 0 0 142 7 0 0 25 0 1 0 969469499 277803008 66095 33554432000 4194304 8979876 140733308814704 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 67823 66095 416 1169 0 66650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 271292

[startup+3.10059 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 19861
/proc/meminfo: memFree=30128768/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=497160 CPUtime=3.09 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 133419 0 0 0 294 15 0 0 25 0 1 0 969469499 509091840 121321 33554432000 4194304 8979876 140733308814704 18446744073709551615 6492496 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 124290 121321 494 1169 0 123117 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497160

[startup+6.30104 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 19861
/proc/meminfo: memFree=29850200/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=716072 CPUtime=6.29 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 187814 0 0 0 609 20 0 0 25 0 1 0 969469499 733257728 175716 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 179018 175716 494 1169 0 177845 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 716072

[startup+12.701 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 19862
/proc/meminfo: memFree=29633228/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=879152 CPUtime=12.7 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 226663 0 0 0 1245 25 0 0 25 0 1 0 969469499 900251648 214063 33554432000 4194304 8979876 140733308814704 18446744073709551615 6504315 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 219788 214063 504 1169 0 218615 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 879152

[startup+25.5007 s]
/proc/loadavg: 2.06 2.01 1.99 3/178 19862
/proc/meminfo: memFree=29563508/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=932336 CPUtime=25.49 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 254552 0 0 0 2522 27 0 0 25 0 1 0 969469499 954712064 227378 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 233084 227378 559 1169 0 231911 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 932336

[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 19863
/proc/meminfo: memFree=29491500/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=971816 CPUtime=51.09 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 263787 0 0 0 5081 28 0 0 25 0 1 0 969469499 995139584 236481 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 242954 236481 559 1169 0 241781 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 971816

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 19864
/proc/meminfo: memFree=29355044/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1044292 CPUtime=102.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 281382 0 0 0 10200 30 0 0 25 0 1 0 969469499 1069355008 254076 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 261073 254076 559 1169 0 259900 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1044292

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19866
/proc/meminfo: memFree=29084524/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1229504 CPUtime=162.29 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 327675 0 0 0 16194 35 0 0 25 0 1 0 969469499 1259012096 299907 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 307376 299907 559 1169 0 306203 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1229504

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19867
/proc/meminfo: memFree=28801704/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1407088 CPUtime=222.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 372012 0 0 0 22189 41 0 0 25 0 1 0 969469499 1440858112 343914 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 351772 343914 559 1169 0 350599 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1407088

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19869
/proc/meminfo: memFree=28455068/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1529208 CPUtime=282.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 402473 0 0 0 28186 44 0 0 25 0 1 0 969469499 1565908992 374375 33554432000 4194304 8979876 140733308814704 18446744073709551615 4887941 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 382302 374375 559 1169 0 381129 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1529208

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19908
/proc/meminfo: memFree=29210736/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1672752 CPUtime=342.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 438099 0 0 0 34182 48 0 0 25 0 1 0 969469499 1712898048 410001 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 418188 410001 559 1169 0 417015 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1672752

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19910
/proc/meminfo: memFree=29014416/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1799868 CPUtime=402.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 469906 0 0 0 40179 51 0 0 25 0 1 0 969469499 1843064832 441808 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 449967 441808 559 1169 0 448794 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1799868

[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19912
/proc/meminfo: memFree=28781376/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=1932864 CPUtime=462.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 503060 0 0 0 46174 56 0 0 25 0 1 0 969469499 1979252736 474962 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 483216 474962 559 1169 0 482043 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1932864

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 19913
/proc/meminfo: memFree=28518672/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2057540 CPUtime=522.3 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 533469 0 0 0 52171 59 0 0 25 0 1 0 969469499 2106920960 505371 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 514385 505371 559 1169 0 513212 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2057540

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19915
/proc/meminfo: memFree=28335588/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2180096 CPUtime=582.31 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 563990 0 0 0 58167 64 0 0 25 0 1 0 969469499 2232418304 535892 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 545024 535892 559 1169 0 543851 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2180096

[startup+642.301 s]

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

/proc/meminfo: memFree=26762416/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2878276 CPUtime=1122.32 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 738114 0 0 0 112142 90 0 0 25 0 1 0 969469499 2947354624 710016 33554432000 4194304 8979876 140733308814704 18446744073709551615 5539227 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 719569 710016 564 1169 0 718396 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2878276

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19931
/proc/meminfo: memFree=26662168/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2922388 CPUtime=1182.32 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 748758 0 0 0 118141 91 0 0 25 0 1 0 969469499 2992525312 720660 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503328 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 730597 720660 564 1169 0 729424 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2922388

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19932
/proc/meminfo: memFree=26536500/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2975840 CPUtime=1242.32 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 761786 0 0 0 124140 92 0 0 25 0 1 0 969469499 3047260160 733688 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 743960 733688 564 1169 0 742787 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2975840

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19943
/proc/meminfo: memFree=26409320/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3046232 CPUtime=1302.33 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 779317 0 0 0 130138 95 0 0 25 0 1 0 969469499 3119341568 751219 33554432000 4194304 8979876 140733308814704 18446744073709551615 6617531 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 761558 751219 564 1169 0 760385 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3046232

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19945
/proc/meminfo: memFree=26289360/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3110064 CPUtime=1362.32 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 795391 0 0 0 136136 96 0 0 25 0 1 0 969469499 3184705536 767293 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 777516 767293 564 1169 0 776343 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3110064

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19946
/proc/meminfo: memFree=26191488/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3154948 CPUtime=1422.33 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 807246 0 0 0 142135 98 0 0 25 0 1 0 969469499 3230666752 779148 33554432000 4194304 8979876 140733308814704 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 788737 779148 564 1169 0 787564 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3154948

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19948
/proc/meminfo: memFree=26070904/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3227932 CPUtime=1482.33 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 824734 0 0 0 148133 100 0 0 25 0 1 0 969469499 3305402368 796636 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 806983 796636 564 1169 0 805810 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3227932

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19949
/proc/meminfo: memFree=25974752/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3274648 CPUtime=1542.32 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 836768 0 0 0 154131 101 0 0 25 0 1 0 969469499 3353239552 808670 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 818662 808670 564 1169 0 817489 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3274648

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19951
/proc/meminfo: memFree=25866816/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3333348 CPUtime=1602.33 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 851477 0 0 0 160129 104 0 0 25 0 1 0 969469499 3413348352 823379 33554432000 4194304 8979876 140733308814704 18446744073709551615 4330762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 833337 823379 564 1169 0 832164 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3333348

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19953
/proc/meminfo: memFree=25469708/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3401244 CPUtime=1662.33 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 868373 0 0 0 166126 107 0 0 25 0 1 0 969469499 3482873856 840275 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 850311 840275 564 1169 0 849138 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3401244

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19954
/proc/meminfo: memFree=25396100/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3455332 CPUtime=1722.34 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 881303 0 0 0 172125 109 0 0 25 0 1 0 969469499 3538259968 853205 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537797 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 863833 853205 564 1169 0 862660 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3455332

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25320536/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3503412 CPUtime=1782.34 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 892708 0 0 0 178124 110 0 0 25 0 1 0 969469499 3587493888 864610 33554432000 4194304 8979876 140733308814704 18446744073709551615 5538056 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 875853 864610 564 1169 0 874680 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3503412

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25318924/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3503412 CPUtime=1785.54 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 893082 0 0 0 178444 110 0 0 25 0 1 0 969469499 3587493888 864984 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 875853 864984 564 1169 0 874680 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 3503412

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25308616/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3513452 CPUtime=1791.94 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 895645 0 0 0 179084 110 0 0 25 0 1 0 969469499 3597774848 867547 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 878363 867547 564 1169 0 877190 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3513452

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25306632/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3514464 CPUtime=1795.14 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 896155 0 0 0 179404 110 0 0 25 0 1 0 969469499 3598811136 868057 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 878616 868057 564 1169 0 877443 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3514464

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25306508/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3514464 CPUtime=1796.73 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 896193 0 0 0 179563 110 0 0 25 0 1 0 969469499 3598811136 868095 33554432000 4194304 8979876 140733308814704 18446744073709551615 5537693 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 878616 868095 564 1169 0 877443 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 3514464

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25306508/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3516508 CPUtime=1797.13 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 896706 0 0 0 179603 110 0 0 25 0 1 0 969469499 3600904192 868608 33554432000 4194304 8979876 140733308814704 18446744073709551615 6782507 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19860/statm: 879127 868608 566 1169 0 877954 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 3516508

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25318536/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=3247776 CPUtime=1797.53 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 897074 0 0 0 179642 111 0 0 18 0 1 0 969469499 3325722624 802019 33554432000 4194304 8979876 140733308814704 18446744073709551615 6778247 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 811944 802019 579 1169 0 810771 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3247776

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25318536/32950940 swapFree=67074964/67111528
[pid=19860] ppid=19858 vsize=2740804 CPUtime=1797.63 cores=0,2,4,6
/proc/19860/stat : 19860 (scip-2.0.1.4_2.) R 19858 19860 18592 0 -1 4202496 897086 0 0 0 179649 114 0 0 18 0 1 0 969469499 2806583296 600238 33554432000 4194304 8979876 140733308814704 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19860/statm: 685201 600238 591 1169 0 684028 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 2740804

Child status: 0
Real time (s): 1797.69
CPU time (s): 1797.73
CPU user time (s): 1796.5
CPU system time (s): 1.23481
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3516508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.5
system time used= 1.23481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897091
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= 6
involuntary context switches= 956

runsolver used 2.6226 second user time and 5.67214 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-11 13:39:47
IDJOB=3486293
IDBENCH=77130
IDSOLVER=1977
FILE ID=node117/3486293-1307792387
RUNJOBID= node117-1307784651-18610
PBS_JOBID= 13550904
Free space on /tmp= 73996 MiB

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

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

MD5SUM BENCH= 33a0c5076a13a0bc08e55dbdcaafa3d4
RANDOM SEED=761741820

node117.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.849
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.69
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.849
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.849
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.74
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.849
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.849
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.75
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      30504640 kB
Buffers:        152028 kB
Cached:         706684 kB
SwapCached:       6160 kB
Active:        1786236 kB
Inactive:       507292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      30504640 kB
SwapTotal:    67111528 kB
SwapFree:     67074964 kB
Dirty:           23700 kB
Writeback:           0 kB
AnonPages:     1431744 kB
Mapped:          15980 kB
Slab:            84720 kB
PageTables:       7296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:  1634448 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 node117 at 2011-06-11 14:09:45