Trace number 3453497

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.74 1800.72

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12057_1.std.opb
MD5SUMc5fc99dbb0a3becca43a9267891fcd33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256080
Number of constraints which are clauses254880
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.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-3453497-1307120425.opb>
1.69/1.70	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256080 constraints
1.69/1.70	c problem read
1.69/1.70	c presolving settings loaded
2.49/2.58	c presolving:
9.09/9.17	c (round 1) 8415 del vars, 24630 del conss, 0 add conss, 6727 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17108448 impls, 0 clqs
11.99/12.08	c (round 2) 15696 del vars, 57449 del conss, 0 add conss, 13637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17153467 impls, 0 clqs
12.89/12.93	c (round 3) 18675 del vars, 71135 del conss, 0 add conss, 15416 chg bounds, 28 chg sides, 40 chg coeffs, 0 upgd conss, 17176968 impls, 0 clqs
13.39/13.41	c (round 4) 20163 del vars, 77277 del conss, 0 add conss, 16434 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17190663 impls, 0 clqs
13.69/13.76	c (round 5) 21434 del vars, 82152 del conss, 0 add conss, 17262 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17206416 impls, 0 clqs
13.99/14.00	c (round 6) 22312 del vars, 85677 del conss, 0 add conss, 17788 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17216560 impls, 0 clqs
14.19/14.20	c (round 7) 22952 del vars, 88212 del conss, 0 add conss, 18165 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17224525 impls, 0 clqs
14.29/14.34	c (round 8) 23423 del vars, 90155 del conss, 0 add conss, 18437 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17230881 impls, 0 clqs
14.40/14.46	c (round 9) 23737 del vars, 91434 del conss, 0 add conss, 18607 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17235664 impls, 0 clqs
14.49/14.55	c (round 10) 23908 del vars, 92234 del conss, 0 add conss, 18698 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17238307 impls, 0 clqs
14.59/14.65	c (round 11) 24017 del vars, 92705 del conss, 0 add conss, 18756 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17239760 impls, 0 clqs
14.69/14.72	c (round 12) 24066 del vars, 92963 del conss, 0 add conss, 18777 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240509 impls, 0 clqs
14.69/14.79	c (round 13) 24092 del vars, 93088 del conss, 0 add conss, 18791 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17240891 impls, 0 clqs
14.79/14.86	c (round 14) 24110 del vars, 93170 del conss, 0 add conss, 18797 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241014 impls, 0 clqs
14.89/14.92	c (round 15) 24114 del vars, 93200 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 0 upgd conss, 17241032 impls, 0 clqs
15.50/15.59	c (round 16) 24114 del vars, 93204 del conss, 0 add conss, 18798 chg bounds, 30 chg sides, 42 chg coeffs, 162876 upgd conss, 17241032 impls, 0 clqs
593.80/593.83	c    (593.8s) probing: 1000/48728 (2.1%) - 15 fixings, 9 aggregations, 13101516 implications, 0 bound changes
1123.50/1123.58	c    (1123.6s) probing: 2000/48728 (4.1%) - 29 fixings, 10 aggregations, 21495169 implications, 0 bound changes
1572.22/1572.24	c    (1572.2s) probing: 3000/48728 (6.2%) - 29 fixings, 12 aggregations, 28798439 implications, 0 bound changes
1800.03/1800.06	c    (1800.1s) probing: 3473/48728 (7.1%) - 29 fixings, 12 aggregations, 32391781 implications, 0 bound changes
1800.03/1800.06	c    (1800.1s) probing aborted: solving stopped
1800.03/1800.06	c (round 17) 24155 del vars, 93204 del conss, 2 add conss, 18798 chg bounds, 40 chg sides, 167 chg coeffs, 162876 upgd conss, 132296630 impls, 0 clqs
1800.03/1800.06	c presolving (17 rounds):
1800.03/1800.06	c  24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1800.03/1800.06	c  132296630 implications, 0 cliques
1800.03/1800.06	c presolving was interrupted.
1800.03/1800.06	c Presolving Time: 1798.12
1800.03/1800.06	c - non default parameters ----------------------------------------------------------------------
1800.03/1800.06	c # SCIP version 2.0.1.4
1800.03/1800.06	c 
1800.03/1800.06	c # frequency for displaying node information lines
1800.03/1800.06	c # [type: int, range: [-1,2147483647], default: 100]
1800.03/1800.06	c display/freq = 10000
1800.03/1800.06	c 
1800.03/1800.06	c # maximal time in seconds to run
1800.03/1800.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.06	c limits/time = 1800
1800.03/1800.06	c 
1800.03/1800.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.03/1800.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.06	c limits/memory = 13950
1800.03/1800.06	c 
1800.03/1800.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.03/1800.06	c # [type: int, range: [1,2], default: 1]
1800.03/1800.06	c timing/clocktype = 2
1800.03/1800.06	c 
1800.03/1800.06	c # belongs reading time to solving time?
1800.03/1800.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.06	c timing/reading = TRUE
1800.03/1800.06	c 
1800.03/1800.06	c # should presolving try to simplify inequalities
1800.03/1800.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.06	c constraints/linear/simplifyinequalities = TRUE
1800.03/1800.06	c 
1800.03/1800.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.03/1800.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.06	c constraints/indicator/addCouplingCons = TRUE
1800.03/1800.06	c 
1800.03/1800.06	c # should presolving try to simplify knapsacks
1800.03/1800.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.06	c constraints/knapsack/simplifyinequalities = TRUE
1800.03/1800.06	c 
1800.03/1800.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.03/1800.06	c # [type: int, range: [-1,2147483647], default: -1]
1800.03/1800.06	c separating/rapidlearning/freq = 0
1800.03/1800.06	c 
1800.03/1800.06	c -----------------------------------------------------------------------------------------------
1800.03/1800.06	c start solving
1800.03/1800.09	c presolving:
1800.03/1800.09	c presolving (17 rounds):
1800.03/1800.09	c  24155 deleted vars, 93204 deleted constraints, 2 added constraints, 18798 tightened bounds, 0 added holes, 40 changed sides, 167 changed coefficients
1800.03/1800.09	c  132296630 implications, 0 cliques
1800.03/1800.09	c presolving was interrupted.
1800.03/1800.09	c Presolving Time: 1798.15
1800.03/1800.09	c 
1800.03/1800.09	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.09	c Solving Time (sec) : 1800.09
1800.03/1800.09	c Solving Nodes      : 0
1800.03/1800.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.03/1800.09	s UNKNOWN
1800.03/1800.09	c SCIP Status        : solving was interrupted [time limit reached]
1800.03/1800.09	c Total Time         :    1800.09
1800.03/1800.09	c   solving          :    1800.09
1800.03/1800.09	c   presolving       :    1798.15 (included in solving)
1800.03/1800.09	c   reading          :       1.70 (included in solving)
1800.03/1800.09	c Original Problem   :
1800.03/1800.09	c   Problem name     : HOME/instance-3453497-1307120425.opb
1800.03/1800.09	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.09	c   Constraints      : 256080 initial, 256080 maximal
1800.03/1800.09	c Presolved Problem  :
1800.03/1800.09	c   Problem name     : t_HOME/instance-3453497-1307120425.opb
1800.03/1800.09	c   Variables        : 48687 (48687 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.09	c   Constraints      : 162878 initial, 162878 maximal
1800.03/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.03/1800.09	c   trivial          :       0.05       1157          0          0          0          0          0          0          0          0
1800.03/1800.09	c   dualfix          :       0.08        121          0          0          0          0          0          0          0          0
1800.03/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   implics          :       0.52          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   probing          :    1783.48         29         12          0          0          0          0          0          0          0
1800.03/1800.09	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   knapsack         :       0.72          0          0          0          0          0          0          2         10        125
1800.03/1800.09	c   setppc           :       0.19          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   linear           :      12.16      17641       5195          0      18798          0      93204          0         30         42
1800.03/1800.09	c   logicor          :       0.03          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.03/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.03/1800.09	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   knapsack         :          0+         0     169492          0          0          0          0          8          0          0          0          0
1800.03/1800.09	c   setppc           :          0+         0     169484          0          0          0          0          6          0          0          0          0
1800.03/1800.09	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   logicor          :          0+         0     151680          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.03/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.03/1800.09	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c   knapsack         :      12.43       0.00      12.43       0.00       0.00       0.00       0.00
1800.03/1800.09	c   setppc           :     944.40       0.00     944.40       0.00       0.00       0.00       0.00
1800.03/1800.09	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c   logicor          :      12.24       0.00      12.24       0.00       0.00       0.00       0.00
1800.03/1800.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.03/1800.09	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.03/1800.09	c   vbounds          :          0          0          0          0
1800.03/1800.09	c   rootredcost      :          0          0          0          0
1800.03/1800.09	c   pseudoobj        :          0          0          0          0
1800.03/1800.09	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.03/1800.09	c   vbounds          :       0.07       0.07       0.00
1800.03/1800.09	c   rootredcost      :       0.03       0.03       0.00
1800.03/1800.09	c   pseudoobj        :       0.04       0.04       0.00
1800.03/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.03/1800.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.03/1800.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.03/1800.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.03/1800.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.62/1800.70	c Time complete: 1800.73.

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.05 1.99 3/461 8516
/proc/meminfo: memFree=30070812/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=10656 CPUtime=0 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1672 0 0 0 0 0 0 0 21 0 1 0 823642373 10911744 1625 33554432000 4194304 9128323 140735677889408 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 2664 1625 400 1205 0 1455 0

[startup+0.102576 s]
/proc/loadavg: 2.04 2.05 1.99 3/461 8516
/proc/meminfo: memFree=30070812/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=27536 CPUtime=0.09 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 5919 0 0 0 9 0 0 0 22 0 1 0 823642373 28196864 5842 33554432000 4194304 9128323 140735677889408 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 6884 5842 400 1205 0 5675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27536

[startup+0.200566 s]
/proc/loadavg: 2.04 2.05 1.99 3/461 8516
/proc/meminfo: memFree=30070812/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=41360 CPUtime=0.19 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 9385 0 0 0 18 1 0 0 22 0 1 0 823642373 42352640 9306 33554432000 4194304 9128323 140735677889408 18446744073709551615 6165126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 10340 9306 400 1205 0 9131 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41360

[startup+0.300545 s]
/proc/loadavg: 2.04 2.05 1.99 3/461 8516
/proc/meminfo: memFree=30070812/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 11588 0 0 0 28 1 0 0 22 0 1 0 823642373 51421184 11507 33554432000 4194304 9128323 140735677889408 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216

[startup+0.700406 s]
/proc/loadavg: 2.04 2.05 1.99 3/461 8516
/proc/meminfo: memFree=30070812/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 16372 0 0 0 67 2 0 0 23 0 1 0 823642373 71077888 16283 33554432000 4194304 9128323 140735677889408 18446744073709551615 6165738 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 17353 16283 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412

[startup+1.50033 s]
/proc/loadavg: 2.04 2.04 1.99 3/465 8524
/proc/meminfo: memFree=29886016/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=129040 CPUtime=1.49 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 31249 0 0 0 146 3 0 0 25 0 1 0 823642373 132136960 31144 33554432000 4194304 9128323 140735677889408 18446744073709551615 8011678 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8516/statm: 32260 31144 400 1205 0 31051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129040

[startup+3.10104 s]
/proc/loadavg: 2.04 2.04 1.99 3/465 8524
/proc/meminfo: memFree=29366964/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=465532 CPUtime=3.09 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 126225 0 0 0 294 15 0 0 25 0 1 0 823642373 476704768 113723 33554432000 4194304 9128323 140735677889408 18446744073709551615 6890218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8516/statm: 116383 113723 501 1205 0 115174 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 465532

[startup+6.30047 s]
/proc/loadavg: 2.03 2.04 1.99 3/465 8524
/proc/meminfo: memFree=28691860/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=757108 CPUtime=6.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 198845 0 0 0 607 22 0 0 25 0 1 0 823642373 775278592 186343 33554432000 4194304 9128323 140735677889408 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8516/statm: 189277 186343 510 1205 0 188068 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 757108

[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 1.99 3/465 8524
/proc/meminfo: memFree=28305656/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=914840 CPUtime=12.69 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 235989 0 0 0 1242 27 0 0 25 0 1 0 823642373 936796160 223034 33554432000 4194304 9128323 140735677889408 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 228710 223034 523 1205 0 227501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 914840

[startup+25.501 s]
/proc/loadavg: 2.10 2.06 1.99 3/465 8524
/proc/meminfo: memFree=28126312/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=987064 CPUtime=25.48 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 269397 0 0 0 2517 31 0 0 25 0 1 0 823642373 1010753536 240350 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 246766 240350 574 1205 0 245557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 987064

[startup+51.1006 s]
/proc/loadavg: 2.06 2.05 1.99 3/465 8534
/proc/meminfo: memFree=28025876/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=1043312 CPUtime=51.08 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 283186 0 0 0 5075 33 0 0 25 0 1 0 823642373 1068351488 254139 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 260828 254139 574 1205 0 259619 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1043312

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 1.99 3/465 8535
/proc/meminfo: memFree=27708468/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=1205112 CPUtime=102.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 322746 0 0 0 10191 38 0 0 25 0 1 0 823642373 1234034688 293501 33554432000 4194304 9128323 140735677889408 18446744073709551615 6889750 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 301278 293501 574 1205 0 300069 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1205112

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 1.99 3/465 8537
/proc/meminfo: memFree=27334436/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=1434868 CPUtime=162.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 379891 0 0 0 16183 46 0 0 25 0 1 0 823642373 1469304832 350415 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 358717 350415 574 1205 0 357508 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1434868

[startup+222.317 s]
/proc/loadavg: 2.04 2.04 2.00 3/465 8540
/proc/meminfo: memFree=26877452/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=1706956 CPUtime=222.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 446777 0 0 0 22177 54 0 0 25 0 1 0 823642373 1747922944 417235 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 426739 417235 574 1205 0 425530 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1706956

[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/465 8543
/proc/meminfo: memFree=26407492/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=1927312 CPUtime=282.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 501839 0 0 0 28167 62 0 0 25 0 1 0 823642373 1973567488 472297 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 481828 472297 574 1205 0 480619 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1927312

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8545
/proc/meminfo: memFree=26026040/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=2107304 CPUtime=342.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 546633 0 0 0 34161 69 0 0 25 0 1 0 823642373 2157879296 517091 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 526826 517091 574 1205 0 525617 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2107304

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8546
/proc/meminfo: memFree=25752332/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=2280980 CPUtime=402.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 589793 0 0 0 40155 75 0 0 25 0 1 0 823642373 2335723520 560251 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 570245 560251 574 1205 0 569036 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2280980

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 8548
/proc/meminfo: memFree=25428280/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=2511568 CPUtime=462.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 646895 0 0 0 46146 84 0 0 25 0 1 0 823642373 2571845632 617353 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 627892 617353 574 1205 0 626683 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2511568

[startup+522.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/465 8549
/proc/meminfo: memFree=25243592/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=2599572 CPUtime=522.29 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 668850 0 0 0 52142 87 0 0 25 0 1 0 823642373 2661961728 639308 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488288 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 649893 639308 574 1205 0 648684 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2599572

[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/465 8551
/proc/meminfo: memFree=25014664/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=2740324 CPUtime=582.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 704154 0 0 0 58138 92 0 0 25 0 1 0 823642373 2806091776 674612 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 685081 674612 574 1205 0 683872 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2740324

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/465 8561
/proc/meminfo: memFree=23823428/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3345864 CPUtime=942.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 853826 0 0 0 94117 114 0 0 25 0 1 0 823642373 3426164736 824284 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 836466 824284 578 1205 0 835257 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 3345864

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8562
/proc/meminfo: memFree=23601548/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3450784 CPUtime=1002.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 881299 0 0 0 100112 119 0 0 25 0 1 0 823642373 3533602816 851757 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 862696 851757 578 1205 0 861487 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 3450784

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8564
/proc/meminfo: memFree=23471676/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3533516 CPUtime=1062.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 901482 0 0 0 106109 121 0 0 25 0 1 0 823642373 3618320384 871940 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 883379 871940 578 1205 0 882170 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3533516

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/465 8565
/proc/meminfo: memFree=23361156/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3601820 CPUtime=1122.3 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 917788 0 0 0 112107 123 0 0 25 0 1 0 823642373 3688263680 888246 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 900455 888246 578 1205 0 899246 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3601820

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/465 8567
/proc/meminfo: memFree=23195468/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3699476 CPUtime=1182.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 942712 0 0 0 118104 127 0 0 25 0 1 0 823642373 3788263424 913170 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 924869 913170 578 1205 0 923660 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3699476

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/465 8569
/proc/meminfo: memFree=22846968/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3757656 CPUtime=1242.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 957581 0 0 0 124103 128 0 0 25 0 1 0 823642373 3847839744 928039 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 939414 928039 578 1205 0 938205 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3757656

[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/465 8570
/proc/meminfo: memFree=22727148/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3850984 CPUtime=1302.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 980074 0 0 0 130100 131 0 0 25 0 1 0 823642373 3943407616 950532 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 962746 950532 578 1205 0 961537 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3850984

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/465 8572
/proc/meminfo: memFree=22636944/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3910044 CPUtime=1362.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 994811 0 0 0 136097 134 0 0 25 0 1 0 823642373 4003885056 965269 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 977511 965269 578 1205 0 976302 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3910044

[startup+1422.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/465 8573
/proc/meminfo: memFree=22575024/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=3970080 CPUtime=1422.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1010192 0 0 0 142095 136 0 0 25 0 1 0 823642373 4065361920 980650 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 992520 980650 578 1205 0 991311 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 3970080

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8575
/proc/meminfo: memFree=22526108/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4031784 CPUtime=1482.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1025293 0 0 0 148092 139 0 0 25 0 1 0 823642373 4128546816 995751 33554432000 4194304 9128323 140735677889408 18446744073709551615 5489961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1007946 995751 578 1205 0 1006737 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 4031784

[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/465 8577
/proc/meminfo: memFree=22454272/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4104544 CPUtime=1542.33 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1043202 0 0 0 154092 141 0 0 25 0 1 0 823642373 4203053056 1013660 33554432000 4194304 9128323 140735677889408 18446744073709551615 4232877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1026136 1013660 578 1205 0 1024927 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4104544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8578
/proc/meminfo: memFree=22390132/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4169744 CPUtime=1602.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1059504 0 0 0 160088 143 0 0 25 0 1 0 823642373 4269817856 1029962 33554432000 4194304 9128323 140735677889408 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1042436 1029962 578 1205 0 1041227 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 4169744

[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/465 8580
/proc/meminfo: memFree=22316180/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4242668 CPUtime=1662.31 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1077793 0 0 0 166085 146 0 0 25 0 1 0 823642373 4344492032 1048251 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1060667 1048251 578 1205 0 1059458 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 4242668

[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/465 8581
/proc/meminfo: memFree=22251888/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4302776 CPUtime=1722.32 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1092878 0 0 0 172083 149 0 0 25 0 1 0 823642373 4406042624 1063336 33554432000 4194304 9128323 140735677889408 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1075694 1063336 578 1205 0 1074485 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 4302776

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/465 8583
/proc/meminfo: memFree=22166784/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4385724 CPUtime=1782.32 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1113406 0 0 0 178081 151 0 0 25 0 1 0 823642373 4490981376 1083864 33554432000 4194304 9128323 140735677889408 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1096431 1083864 578 1205 0 1095222 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 4385724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8583
/proc/meminfo: memFree=22147168/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4405944 CPUtime=1800.03 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1118295 0 0 0 179851 152 0 0 25 0 1 0 823642373 4511686656 1088753 33554432000 4194304 9128323 140735677889408 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8516/statm: 1101486 1088753 578 1205 0 1100277 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 4405944

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8583
/proc/meminfo: memFree=22147168/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=4389068 CPUtime=1800.32 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1119039 0 0 0 179880 152 0 0 25 0 1 0 823642373 4494405632 1084798 33554432000 4194304 9128323 140735677889408 18446744073709551615 6890232 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8516/statm: 1097267 1084798 588 1205 0 1096058 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 4389068

[startup+1800.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/467 8585
/proc/meminfo: memFree=26293268/32950928 swapFree=45617076/67111528
[pid=8516] ppid=8514 vsize=102920 CPUtime=1800.72 cores=1,3,5,7
/proc/8516/stat : 8516 (scip-2.0.1.4.li) R 8514 8516 5789 0 -1 4202496 1119061 0 0 0 179903 169 0 0 25 0 1 0 823642373 105390080 15344 33554432000 4194304 9128323 140735677889408 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8516/statm: 25730 15344 599 1205 0 24521 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 102920

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.74
CPU user time (s): 1799.04
CPU system time (s): 1.70074
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4405944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.70074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1119063
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= 5
involuntary context switches= 1153

runsolver used 7.76782 second user time and 19.969 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-03 19:00:26
IDJOB=3453497
IDBENCH=77513
IDSOLVER=1949
FILE ID=node123/3453497-1307120425
RUNJOBID= node123-1307118623-8399
PBS_JOBID= 13497979
Free space on /tmp= 73820 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-j12057_1.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-3453497-1307120425/watcher-3453497-1307120425 -o /tmp/evaluation-result-3453497-1307120425/solver-3453497-1307120425 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453497-1307120425.opb -t 1800 -m 15500

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

MD5SUM BENCH= c5fc99dbb0a3becca43a9267891fcd33
RANDOM SEED=498346085

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.80
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.838
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.838
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:      30070976 kB
Buffers:        278964 kB
Cached:         373056 kB
SwapCached:       9456 kB
Active:        2282240 kB
Inactive:       317648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30070976 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:           24864 kB
Writeback:           0 kB
AnonPages:     1945764 kB
Mapped:          23224 kB
Slab:           134052 kB
PageTables:      78076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133353660 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= 73792 MiB
End job on node123 at 2011-06-03 19:30:28