Trace number 3453493

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.82 1800.88

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12049_10.std.opb
MD5SUM447a543f878ceafadea8d85be2867299
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark57.5932
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 constraints256335
Number of constraints which are clauses255135
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 constraint68
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.4]
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-3453493-1307119159.opb>
1.59/1.64	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256335 constraints
1.59/1.64	c problem read
1.59/1.64	c presolving settings loaded
2.49/2.50	c presolving:
8.99/9.08	c (round 1) 7294 del vars, 21555 del conss, 0 add conss, 5791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17285556 impls, 0 clqs
11.69/11.72	c (round 2) 13595 del vars, 48162 del conss, 0 add conss, 11722 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17322574 impls, 0 clqs
12.49/12.57	c (round 3) 16088 del vars, 59765 del conss, 0 add conss, 13283 chg bounds, 59 chg sides, 55 chg coeffs, 0 upgd conss, 17337989 impls, 0 clqs
12.99/13.02	c (round 4) 17370 del vars, 65120 del conss, 0 add conss, 14120 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17347536 impls, 0 clqs
13.29/13.34	c (round 5) 18286 del vars, 68792 del conss, 0 add conss, 14705 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17354836 impls, 0 clqs
13.49/13.54	c (round 6) 18828 del vars, 71103 del conss, 0 add conss, 15013 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17359606 impls, 0 clqs
13.59/13.68	c (round 7) 19155 del vars, 72481 del conss, 0 add conss, 15207 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17363276 impls, 0 clqs
13.69/13.79	c (round 8) 19354 del vars, 73368 del conss, 0 add conss, 15317 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17365239 impls, 0 clqs
13.79/13.87	c (round 9) 19469 del vars, 73883 del conss, 0 add conss, 15373 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366434 impls, 0 clqs
13.89/13.94	c (round 10) 19508 del vars, 74123 del conss, 0 add conss, 15393 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366885 impls, 0 clqs
13.99/14.00	c (round 11) 19520 del vars, 74193 del conss, 0 add conss, 15399 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17366997 impls, 0 clqs
13.99/14.06	c (round 12) 19526 del vars, 74229 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 0 upgd conss, 17367045 impls, 0 clqs
14.69/14.78	c (round 13) 19526 del vars, 74235 del conss, 0 add conss, 15402 chg bounds, 74 chg sides, 69 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
15.29/15.34	c (round 14) 19526 del vars, 74238 del conss, 35 add conss, 15402 chg bounds, 137 chg sides, 286 chg coeffs, 182100 upgd conss, 17367045 impls, 0 clqs
727.75/727.81	c    (727.8s) probing: 1000/53316 (1.9%) - 5 fixings, 1 aggregations, 14733442 implications, 0 bound changes
1318.43/1318.56	c    (1318.6s) probing: 2000/53316 (3.8%) - 5 fixings, 1 aggregations, 24570529 implications, 0 bound changes
1393.43/1393.58	c    (1393.6s) probing: 2138/53316 (4.0%) - 5 fixings, 1 aggregations, 25731792 implications, 0 bound changes
1393.43/1393.58	c    (1393.6s) probing aborted: 2000/2000 successive useless probings
1393.43/1393.58	c (round 15) 19532 del vars, 74242 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 300 chg coeffs, 182100 upgd conss, 109287675 impls, 0 clqs
1394.03/1394.14	c (round 16) 19532 del vars, 74613 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 467 chg coeffs, 182100 upgd conss, 109287675 impls, 0 clqs
1800.03/1800.21	c    (1800.2s) probing: 2680/53316 (5.0%) - 17 fixings, 11 aggregations, 29504526 implications, 0 bound changes
1800.03/1800.21	c    (1800.2s) probing aborted: solving stopped
1800.03/1800.21	c (round 17) 19554 del vars, 74613 del conss, 35 add conss, 15402 chg bounds, 140 chg sides, 470 chg coeffs, 182100 upgd conss, 123310543 impls, 0 clqs
1800.03/1800.21	c presolving (17 rounds):
1800.03/1800.21	c  19554 deleted vars, 74613 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 470 changed coefficients
1800.03/1800.21	c  123310543 implications, 0 cliques
1800.03/1800.21	c presolving was interrupted.
1800.03/1800.21	c Presolving Time: 1798.34
1800.03/1800.21	c - non default parameters ----------------------------------------------------------------------
1800.03/1800.21	c # SCIP version 2.0.1.4
1800.03/1800.21	c 
1800.03/1800.21	c # frequency for displaying node information lines
1800.03/1800.21	c # [type: int, range: [-1,2147483647], default: 100]
1800.03/1800.21	c display/freq = 10000
1800.03/1800.21	c 
1800.03/1800.21	c # maximal time in seconds to run
1800.03/1800.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.21	c limits/time = 1800
1800.03/1800.21	c 
1800.03/1800.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.03/1800.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.21	c limits/memory = 13950
1800.03/1800.21	c 
1800.03/1800.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.03/1800.21	c # [type: int, range: [1,2], default: 1]
1800.03/1800.21	c timing/clocktype = 2
1800.03/1800.21	c 
1800.03/1800.21	c # belongs reading time to solving time?
1800.03/1800.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.21	c timing/reading = TRUE
1800.03/1800.21	c 
1800.03/1800.21	c # should presolving try to simplify inequalities
1800.03/1800.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.21	c constraints/linear/simplifyinequalities = TRUE
1800.03/1800.21	c 
1800.03/1800.21	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.03/1800.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.21	c constraints/indicator/addCouplingCons = TRUE
1800.03/1800.21	c 
1800.03/1800.21	c # should presolving try to simplify knapsacks
1800.03/1800.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.21	c constraints/knapsack/simplifyinequalities = TRUE
1800.03/1800.21	c 
1800.03/1800.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.03/1800.21	c # [type: int, range: [-1,2147483647], default: -1]
1800.03/1800.21	c separating/rapidlearning/freq = 0
1800.03/1800.21	c 
1800.03/1800.21	c -----------------------------------------------------------------------------------------------
1800.03/1800.21	c start solving
1800.14/1800.24	c presolving:
1800.14/1800.24	c presolving (17 rounds):
1800.14/1800.24	c  19554 deleted vars, 74613 deleted constraints, 35 added constraints, 15402 tightened bounds, 0 added holes, 140 changed sides, 470 changed coefficients
1800.14/1800.24	c  123310543 implications, 0 cliques
1800.14/1800.24	c presolving was interrupted.
1800.14/1800.24	c Presolving Time: 1798.38
1800.14/1800.24	c 
1800.14/1800.24	c SCIP Status        : solving was interrupted [time limit reached]
1800.14/1800.24	c Solving Time (sec) : 1800.25
1800.14/1800.24	c Solving Nodes      : 0
1800.14/1800.24	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.14/1800.24	s UNKNOWN
1800.14/1800.24	c SCIP Status        : solving was interrupted [time limit reached]
1800.14/1800.24	c Total Time         :    1800.25
1800.14/1800.24	c   solving          :    1800.25
1800.14/1800.24	c   presolving       :    1798.38 (included in solving)
1800.14/1800.24	c   reading          :       1.64 (included in solving)
1800.14/1800.24	c Original Problem   :
1800.14/1800.24	c   Problem name     : HOME/instance-3453493-1307119159.opb
1800.14/1800.24	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.24	c   Constraints      : 256335 initial, 256335 maximal
1800.14/1800.24	c Presolved Problem  :
1800.14/1800.24	c   Problem name     : t_HOME/instance-3453493-1307119159.opb
1800.14/1800.24	c   Variables        : 53288 (53288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.24	c   Constraints      : 181757 initial, 181757 maximal
1800.14/1800.24	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.14/1800.24	c   trivial          :       0.05       1006          0          0          0          0          0          0          0          0
1800.14/1800.24	c   dualfix          :       0.08        120          0          0          0          0          0          0          0          0
1800.14/1800.24	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   implics          :       0.83          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   probing          :    1783.73         17         11          0          0          0          0          0          0          0
1800.14/1800.24	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   knapsack         :       0.74          0          0          0          0          0          7         35         66        401
1800.14/1800.24	c   setppc           :       0.46          0          0          0          0          0        369          0          0          0
1800.14/1800.24	c   linear           :      11.51      14396       4004          0      15402          0      74235          0         74         69
1800.14/1800.24	c   logicor          :       0.09          0          0          0          0          0          2          0          0          0
1800.14/1800.24	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.14/1800.24	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.24	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   knapsack         :          0+         0     120087          0          0          0          0          2          0          0          0          0
1800.14/1800.24	c   setppc           :          0+         0     120085          0          0          0          0         10          0          0          0          0
1800.14/1800.24	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c   logicor          :          0+         0     109810          0          0          0          0          1          0          0          0          0
1800.14/1800.24	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.24	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.14/1800.24	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.24	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.24	c   knapsack         :       7.84       0.00       7.84       0.00       0.00       0.00       0.00
1800.14/1800.24	c   setppc           :     720.09       0.00     720.09       0.00       0.00       0.00       0.00
1800.14/1800.24	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.25	c   logicor          :      13.75       0.00      13.75       0.00       0.00       0.00       0.00
1800.14/1800.25	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.25	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.14/1800.25	c   vbounds          :          0          0          0          0
1800.14/1800.25	c   rootredcost      :          0          0          0          0
1800.14/1800.25	c   pseudoobj        :          0          0          0          0
1800.14/1800.25	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.14/1800.25	c   vbounds          :       0.05       0.05       0.00
1800.14/1800.25	c   rootredcost      :       0.02       0.02       0.00
1800.14/1800.25	c   pseudoobj        :       0.02       0.02       0.00
1800.14/1800.25	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.25	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.25	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.25	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.25	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.25	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.25	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.14/1800.25	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.73/1800.88	c Time complete: 1800.81.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453493-1307119159/watcher-3453493-1307119159 -o /tmp/evaluation-result-3453493-1307119159/solver-3453493-1307119159 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453493-1307119159.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: 1.93 2.00 1.91 2/415 2424
/proc/meminfo: memFree=25932292/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=8236 CPUtime=0 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1108 0 0 0 0 0 0 0 25 0 1 0 279525290 8433664 1062 33554432000 4194304 9128323 140736254390880 18446744073709551615 8009021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 2059 1076 381 1205 0 850 0

[startup+0.0468901 s]
/proc/loadavg: 1.93 2.00 1.91 2/415 2424
/proc/meminfo: memFree=25932292/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=18472 CPUtime=0.04 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 3448 0 0 0 4 0 0 0 25 0 1 0 279525290 18915328 3402 33554432000 4194304 9128323 140736254390880 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 4618 3430 400 1205 0 3409 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18472

[startup+0.100878 s]
/proc/loadavg: 1.93 2.00 1.91 2/415 2424
/proc/meminfo: memFree=25932292/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=27364 CPUtime=0.09 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 5857 0 0 0 9 0 0 0 25 0 1 0 279525290 28020736 5809 33554432000 4194304 9128323 140736254390880 18446744073709551615 7998162 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 6877 5823 400 1205 0 5668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364

[startup+0.300843 s]
/proc/loadavg: 1.93 2.00 1.91 2/415 2424
/proc/meminfo: memFree=25932292/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=50212 CPUtime=0.29 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 11586 0 0 0 28 1 0 0 25 0 1 0 279525290 51417088 11506 33554432000 4194304 9128323 140736254390880 18446744073709551615 4337568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212

[startup+0.700774 s]
/proc/loadavg: 1.93 2.00 1.91 2/415 2424
/proc/meminfo: memFree=25932292/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=69408 CPUtime=0.69 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 16371 0 0 0 68 1 0 0 25 0 1 0 279525290 71073792 16283 33554432000 4194304 9128323 140736254390880 18446744073709551615 6165276 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 17352 16283 400 1205 0 16143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69408

[startup+1.50063 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=25786212/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=127880 CPUtime=1.49 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 30957 0 0 0 146 3 0 0 25 0 1 0 279525290 130949120 30853 33554432000 4194304 9128323 140736254390880 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 31970 30853 400 1205 0 30761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127880

[startup+3.10035 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=25268884/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=476796 CPUtime=3.09 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 129158 0 0 0 294 15 0 0 25 0 1 0 279525290 488239104 116536 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 119199 116536 501 1205 0 117990 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476796

[startup+6.30079 s]
/proc/loadavg: 1.93 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24588120/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=763844 CPUtime=6.29 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 200502 0 0 0 606 23 0 0 25 0 1 0 279525290 782176256 187880 33554432000 4194304 9128323 140736254390880 18446744073709551615 6592249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 190961 187880 510 1205 0 189752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 763844

[startup+12.7007 s]
/proc/loadavg: 1.94 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24216572/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=917300 CPUtime=12.69 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 236752 0 0 0 1242 27 0 0 25 0 1 0 279525290 939315200 223530 33554432000 4194304 9128323 140736254390880 18446744073709551615 6594421 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 229325 223530 523 1205 0 228116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 917300

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.91 3/416 2425
/proc/meminfo: memFree=24018924/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1044448 CPUtime=25.49 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 285684 0 0 0 2518 31 0 0 25 0 1 0 279525290 1069514752 253771 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 261112 253771 658 1205 0 259903 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1044448

[startup+51.1009 s]
/proc/loadavg: 1.97 2.00 1.91 3/416 2426
/proc/meminfo: memFree=23931684/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1091320 CPUtime=51.09 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 296989 0 0 0 5076 33 0 0 25 0 1 0 279525290 1117511680 264944 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 272830 264944 658 1205 0 271621 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1091320

[startup+102.316 s]
/proc/loadavg: 1.98 2.00 1.91 3/416 2427
/proc/meminfo: memFree=23631372/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1229736 CPUtime=102.3 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 331454 0 0 0 10193 37 0 0 25 0 1 0 279525290 1259249664 299409 33554432000 4194304 9128323 140736254390880 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 307434 299409 658 1205 0 306225 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1229736

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2429
/proc/meminfo: memFree=23382716/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1327744 CPUtime=162.28 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 355437 0 0 0 16188 40 0 0 25 0 1 0 279525290 1359609856 323326 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 331936 323326 658 1205 0 330727 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1327744

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2431
/proc/meminfo: memFree=23130856/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1487864 CPUtime=222.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 395816 0 0 0 22180 45 0 0 25 0 1 0 279525290 1523572736 363276 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 371966 363276 658 1205 0 370757 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1487864

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2432
/proc/meminfo: memFree=22699188/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=1766064 CPUtime=282.26 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 464772 0 0 0 28173 53 0 0 25 0 1 0 279525290 1808449536 432100 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 441516 432100 658 1205 0 440307 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 1766064

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/416 2434
/proc/meminfo: memFree=22254376/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=2062308 CPUtime=342.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 538618 0 0 0 34165 60 0 0 25 0 1 0 279525290 2111803392 505946 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 515577 505946 658 1205 0 514368 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 2062308

[startup+402.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/416 2435
/proc/meminfo: memFree=21890532/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=2233556 CPUtime=402.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 581052 0 0 0 40158 67 0 0 25 0 1 0 279525290 2287161344 548380 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 558389 548380 658 1205 0 557180 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 2233556

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/416 2437
/proc/meminfo: memFree=21489372/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=2458584 CPUtime=462.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 636923 0 0 0 46150 75 0 0 25 0 1 0 279525290 2517590016 604251 33554432000 4194304 9128323 140736254390880 18446744073709551615 4352187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 614646 604251 658 1205 0 613437 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 2458584

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/416 2438
/proc/meminfo: memFree=21141780/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=2606796 CPUtime=522.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 673883 0 0 0 52146 79 0 0 25 0 1 0 279525290 2669359104 641211 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 651699 641211 658 1205 0 650490 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2606796

[startup+582.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/416 2440
/proc/meminfo: memFree=20897224/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=2746244 CPUtime=582.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 707979 0 0 0 58141 84 0 0 25 0 1 0 279525290 2812153856 675307 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 686561 675307 658 1205 0 685352 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2746244

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.06 2.02 1.94 3/416 2450
/proc/meminfo: memFree=19422608/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3562544 CPUtime=942.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 911473 0 0 0 94114 111 0 0 25 0 1 0 279525290 3648045056 878801 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 890636 878801 662 1205 0 889427 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 3562544

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/416 2451
/proc/meminfo: memFree=19297208/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3637928 CPUtime=1002.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 929557 0 0 0 100111 114 0 0 25 0 1 0 279525290 3725238272 896885 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 909482 896885 662 1205 0 908273 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 3637928

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/416 2453
/proc/meminfo: memFree=19131896/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3751200 CPUtime=1062.24 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 958241 0 0 0 106107 117 0 0 25 0 1 0 279525290 3841228800 925569 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 937800 925569 662 1205 0 936591 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 3751200

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/416 2455
/proc/meminfo: memFree=19013448/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3807224 CPUtime=1122.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 972181 0 0 0 112106 119 0 0 25 0 1 0 279525290 3898597376 939509 33554432000 4194304 9128323 140736254390880 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 951806 939509 662 1205 0 950597 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 3807224

[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/416 2456
/proc/meminfo: memFree=18828040/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3869368 CPUtime=1182.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 987853 0 0 0 118104 121 0 0 25 0 1 0 279525290 3962232832 955181 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 967342 955181 662 1205 0 966133 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 3869368

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/416 2458
/proc/meminfo: memFree=18641028/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3953392 CPUtime=1242.24 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1008790 0 0 0 124100 124 0 0 25 0 1 0 279525290 4048273408 976118 33554432000 4194304 9128323 140736254390880 18446744073709551615 4855280 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 988348 976118 662 1205 0 987139 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 3953392

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.95 5/421 2468
/proc/meminfo: memFree=18492384/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4015324 CPUtime=1302.24 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1024134 0 0 0 130099 125 0 0 25 0 1 0 279525290 4111691776 991462 33554432000 4194304 9128323 140736254390880 18446744073709551615 4216102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1003831 991462 662 1205 0 1002622 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 4015324

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 2470
/proc/meminfo: memFree=18288608/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4103304 CPUtime=1362.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1046190 0 0 0 136095 128 0 0 25 0 1 0 279525290 4201783296 1013518 33554432000 4194304 9128323 140736254390880 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1025826 1013518 662 1205 0 1024617 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 4103304

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.95 3/416 2472
/proc/meminfo: memFree=18153432/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4151220 CPUtime=1422.25 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1058637 0 0 0 142095 130 0 0 25 0 1 0 279525290 4250849280 1025932 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1037805 1025932 662 1205 0 1036596 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 4151220

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/416 2473
/proc/meminfo: memFree=17978824/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4230176 CPUtime=1482.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1077305 0 0 0 148091 132 0 0 25 0 1 0 279525290 4331700224 1044600 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1057544 1044600 662 1205 0 1056335 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 4230176

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/416 2475
/proc/meminfo: memFree=17845380/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4252340 CPUtime=1542.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1083208 0 0 0 154090 133 0 0 25 0 1 0 279525290 4354396160 1050503 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1063085 1050503 662 1205 0 1061876 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 4252340

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/416 2476
/proc/meminfo: memFree=17692600/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4295612 CPUtime=1602.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1093594 0 0 0 160089 134 0 0 25 0 1 0 279525290 4398706688 1060889 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1073903 1060889 662 1205 0 1072694 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 4295612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/416 2478
/proc/meminfo: memFree=17529764/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4341668 CPUtime=1662.22 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1105660 0 0 0 166087 135 0 0 25 0 1 0 279525290 4445868032 1072955 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1085417 1072955 662 1205 0 1084208 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 4341668

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/416 2479
/proc/meminfo: memFree=17322536/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4439792 CPUtime=1722.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1129555 0 0 0 172084 139 0 0 25 0 1 0 279525290 4546347008 1096850 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1109948 1096850 662 1205 0 1108739 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 4439792

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/416 2481
/proc/meminfo: memFree=17154856/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4502740 CPUtime=1782.23 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1145516 0 0 0 178082 141 0 0 25 0 1 0 279525290 4610805760 1112811 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1125685 1112811 662 1205 0 1124476 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 4502740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.05 2.03 1.97 3/417 2483
/proc/meminfo: memFree=17116764/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4510804 CPUtime=1800.03 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1147767 0 0 0 179862 141 0 0 25 0 1 0 279525290 4619063296 1115062 33554432000 4194304 9128323 140736254390880 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2424/statm: 1127701 1115062 662 1205 0 1126492 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 4510804

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

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

[startup+1800.6 s]
/proc/loadavg: 2.05 2.03 1.97 3/418 2484
/proc/meminfo: memFree=21009240/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=4334808 CPUtime=1800.53 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1148173 0 0 0 179911 142 0 0 25 0 1 0 279525290 4438843392 1071261 33554432000 4194304 9128323 140736254390880 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 1083702 1071261 672 1205 0 1082493 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 4334808

[startup+1800.8 s]
/proc/loadavg: 2.05 2.03 1.97 3/418 2484
/proc/meminfo: memFree=21009240/32950928 swapFree=52006644/67111528
[pid=2424] ppid=2422 vsize=3294780 CPUtime=1800.73 cores=0,2,4,6
/proc/2424/stat : 2424 (scip-2.0.1.4.li) R 2422 2424 32638 0 -1 4202496 1148195 0 0 0 179923 150 0 0 25 0 1 0 279525290 3373854720 537250 33554432000 4194304 9128323 140736254390880 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2424/statm: 823695 536738 694 1205 0 822486 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 3294780

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.82
CPU user time (s): 1799.24
CPU system time (s): 1.58276
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 4511828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.58276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1148197
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= 3
involuntary context switches= 1375

runsolver used 7.61084 second user time and 16.9964 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 18:39:19
IDJOB=3453493
IDBENCH=77343
IDSOLVER=1949
FILE ID=node112/3453493-1307119159
RUNJOBID= node112-1307117356-2294
PBS_JOBID= 13497992
Free space on /tmp= 73808 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12049_10.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453493-1307119159/watcher-3453493-1307119159 -o /tmp/evaluation-result-3453493-1307119159/solver-3453493-1307119159 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453493-1307119159.opb -t 1800 -m 15500

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

MD5SUM BENCH= 447a543f878ceafadea8d85be2867299
RANDOM SEED=1850158274

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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:     32950928 kB
MemFree:      25932572 kB
Buffers:        327384 kB
Cached:        5686040 kB
SwapCached:      31280 kB
Active:         977536 kB
Inactive:      5759384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25932572 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:           39236 kB
Writeback:           0 kB
AnonPages:      700308 kB
Mapped:          14176 kB
Slab:           157300 kB
PageTables:      59248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98680980 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= 73808 MiB
End job on node112 at 2011-06-03 19:09:21