Trace number 3453525

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.67 1800.63

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j901_1.std.opb
MD5SUM29866b5303e93f21a5ca0b7be599249a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark1.23381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints176035
Number of constraints which are clauses174835
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 constraint25
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-3453525-1307121256.opb>
1.19/1.23	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176035 constraints
1.19/1.23	c problem read
1.19/1.23	c presolving settings loaded
1.79/1.88	c presolving:
4.13/6.87	c (round 1) 2946 del vars, 8504 del conss, 0 add conss, 1919 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12206368 impls, 0 clqs
4.13/8.48	c (round 2) 8019 del vars, 24432 del conss, 0 add conss, 6628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12226918 impls, 0 clqs
4.13/8.80	c (round 3) 9264 del vars, 31552 del conss, 0 add conss, 7216 chg bounds, 43 chg sides, 52 chg coeffs, 0 upgd conss, 12234398 impls, 0 clqs
4.13/8.94	c (round 4) 9702 del vars, 33420 del conss, 0 add conss, 7443 chg bounds, 62 chg sides, 79 chg coeffs, 0 upgd conss, 12236526 impls, 0 clqs
4.13/9.02	c (round 5) 9818 del vars, 33985 del conss, 0 add conss, 7486 chg bounds, 64 chg sides, 80 chg coeffs, 0 upgd conss, 12237271 impls, 0 clqs
4.13/9.08	c (round 6) 9848 del vars, 34169 del conss, 0 add conss, 7510 chg bounds, 66 chg sides, 81 chg coeffs, 0 upgd conss, 12237360 impls, 0 clqs
4.13/9.13	c (round 7) 9870 del vars, 34252 del conss, 0 add conss, 7517 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
4.13/9.18	c (round 8) 9872 del vars, 34282 del conss, 0 add conss, 7519 chg bounds, 68 chg sides, 82 chg coeffs, 0 upgd conss, 12237542 impls, 0 clqs
4.13/9.75	c (round 9) 9874 del vars, 34286 del conss, 0 add conss, 7520 chg bounds, 68 chg sides, 82 chg coeffs, 141749 upgd conss, 12237542 impls, 0 clqs
4.13/10.10	c (round 10) 9874 del vars, 34286 del conss, 28 add conss, 7520 chg bounds, 117 chg sides, 316 chg coeffs, 141749 upgd conss, 12239726 impls, 1993 clqs
484.10/484.18	c    (484.2s) probing: 1000/44908 (2.2%) - 9 fixings, 1 aggregations, 8227140 implications, 0 bound changes
875.81/875.83	c    (875.8s) probing: 2000/44908 (4.5%) - 10 fixings, 1 aggregations, 12574177 implications, 0 bound changes
1278.01/1278.09	c    (1278.1s) probing: 3000/44908 (6.7%) - 31 fixings, 1 aggregations, 16467646 implications, 0 bound changes
1616.24/1616.25	c (round 11) 9924 del vars, 34290 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 348 chg coeffs, 141749 upgd conss, 69374954 impls, 2146 clqs
1617.43/1617.41	c (round 12) 9948 del vars, 34955 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 630 chg coeffs, 141749 upgd conss, 69376702 impls, 2146 clqs
1617.73/1617.72	c (round 13) 9948 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 69376732 impls, 2397 clqs
1667.83/1667.86	c    (1667.9s) probing: 4000/44908 (8.9%) - 49 fixings, 11 aggregations, 20029273 implications, 0 bound changes
1800.03/1800.09	c    (1800.1s) probing: 4381/44908 (9.8%) - 55 fixings, 14 aggregations, 22250900 implications, 0 bound changes
1800.03/1800.09	c    (1800.1s) probing aborted: solving stopped
1800.03/1800.09	c (round 14) 9967 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 77546516 impls, 2397 clqs
1800.03/1800.09	c presolving (14 rounds):
1800.03/1800.09	c  9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.03/1800.09	c  77546516 implications, 2397 cliques
1800.03/1800.09	c presolving was interrupted.
1800.03/1800.09	c Presolving Time: 1798.68
1800.03/1800.09	c - non default parameters ----------------------------------------------------------------------
1800.03/1800.09	c # SCIP version 2.0.1.4
1800.03/1800.09	c 
1800.03/1800.09	c # frequency for displaying node information lines
1800.03/1800.09	c # [type: int, range: [-1,2147483647], default: 100]
1800.03/1800.09	c display/freq = 10000
1800.03/1800.09	c 
1800.03/1800.09	c # maximal time in seconds to run
1800.03/1800.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.09	c limits/time = 1800
1800.03/1800.09	c 
1800.03/1800.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.03/1800.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.03/1800.09	c limits/memory = 13950
1800.03/1800.09	c 
1800.03/1800.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.03/1800.09	c # [type: int, range: [1,2], default: 1]
1800.03/1800.09	c timing/clocktype = 2
1800.03/1800.09	c 
1800.03/1800.09	c # belongs reading time to solving time?
1800.03/1800.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.09	c timing/reading = TRUE
1800.03/1800.09	c 
1800.03/1800.09	c # should presolving try to simplify inequalities
1800.03/1800.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.09	c constraints/linear/simplifyinequalities = TRUE
1800.03/1800.09	c 
1800.03/1800.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.03/1800.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.09	c constraints/indicator/addCouplingCons = TRUE
1800.03/1800.09	c 
1800.03/1800.09	c # should presolving try to simplify knapsacks
1800.03/1800.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.03/1800.09	c constraints/knapsack/simplifyinequalities = TRUE
1800.03/1800.09	c 
1800.03/1800.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.03/1800.09	c # [type: int, range: [-1,2147483647], default: -1]
1800.03/1800.09	c separating/rapidlearning/freq = 0
1800.03/1800.09	c 
1800.03/1800.09	c -----------------------------------------------------------------------------------------------
1800.03/1800.09	c start solving
1800.14/1800.12	c presolving:
1800.14/1800.12	c presolving (14 rounds):
1800.14/1800.12	c  9967 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.14/1800.12	c  77546516 implications, 2397 cliques
1800.14/1800.12	c presolving was interrupted.
1800.14/1800.12	c Presolving Time: 1798.71
1800.14/1800.12	c 
1800.14/1800.12	c SCIP Status        : solving was interrupted [time limit reached]
1800.14/1800.12	c Solving Time (sec) : 1800.12
1800.14/1800.12	c Solving Nodes      : 0
1800.14/1800.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.14/1800.12	s UNKNOWN
1800.14/1800.12	c SCIP Status        : solving was interrupted [time limit reached]
1800.14/1800.12	c Total Time         :    1800.12
1800.14/1800.12	c   solving          :    1800.12
1800.14/1800.12	c   presolving       :    1798.71 (included in solving)
1800.14/1800.12	c   reading          :       1.23 (included in solving)
1800.14/1800.12	c Original Problem   :
1800.14/1800.12	c   Problem name     : HOME/instance-3453525-1307121256.opb
1800.14/1800.12	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.12	c   Constraints      : 176035 initial, 176035 maximal
1800.14/1800.12	c Presolved Problem  :
1800.14/1800.12	c   Problem name     : t_HOME/instance-3453525-1307121256.opb
1800.14/1800.12	c   Variables        : 44815 (44815 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.14/1800.12	c   Constraints      : 141086 initial, 141086 maximal
1800.14/1800.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.14/1800.12	c   trivial          :       0.04        658          0          0          0          0          0          0          0          0
1800.14/1800.12	c   dualfix          :       0.06         91          0          0          0          0          0          0          0          0
1800.14/1800.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   implics          :       1.27          0         24          0          0          0          0          0          0          0
1800.14/1800.12	c   probing          :    1787.94         55         14          0          0          0          0          0          0          0
1800.14/1800.12	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   knapsack         :       0.82          0          0          0          0          0          4         30         57        554
1800.14/1800.12	c   setppc           :       0.42          0          0          0          0          0        682          0          0          0
1800.14/1800.12	c   linear           :       7.40       6862       2263          0       7520          0      34286          0         68         82
1800.14/1800.12	c   logicor          :       0.11          0          0          0          0          0          7          0          0          0
1800.14/1800.12	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.14/1800.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.14/1800.12	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   knapsack         :          0+         0     220902          0          0          0          0         11          0          0          0          0
1800.14/1800.12	c   setppc           :          0+         0     220891          0          0          0          0         10          0          0          0          0
1800.14/1800.12	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c   logicor          :          0+         0     200759          0          0          0          0          6          0          0          0          0
1800.14/1800.12	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.14/1800.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.14/1800.12	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.12	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.12	c   knapsack         :      13.06       0.00      13.06       0.00       0.00       0.00       0.00
1800.14/1800.12	c   setppc           :    1213.75       0.00    1213.75       0.00       0.00       0.00       0.00
1800.14/1800.12	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.12	c   logicor          :       9.95       0.00       9.95       0.00       0.00       0.00       0.00
1800.14/1800.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.14/1800.12	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.14/1800.12	c   vbounds          :          0          0          0          0
1800.14/1800.12	c   rootredcost      :          0          0          0          0
1800.14/1800.12	c   pseudoobj        :          0          0          0          0
1800.14/1800.12	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.14/1800.12	c   vbounds          :       0.10       0.10       0.00
1800.14/1800.12	c   rootredcost      :       0.05       0.05       0.00
1800.14/1800.12	c   pseudoobj        :       0.05       0.05       0.00
1800.14/1800.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.14/1800.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.14/1800.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.14/1800.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.14/1800.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.63/1800.63	c Time complete: 1800.66.

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-3453525-1307121256/watcher-3453525-1307121256 -o /tmp/evaluation-result-3453525-1307121256/solver-3453525-1307121256 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453525-1307121256.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.92 2.00 1.88 2/431 1789
/proc/meminfo: memFree=12483988/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=7208 CPUtime=0 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 904 0 0 0 0 0 0 0 25 0 1 0 823725216 7380992 858 33554432000 4194304 9128323 140736944919872 18446744073709551615 6586416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 1802 859 376 1205 0 593 0

[startup+0.0245459 s]
/proc/loadavg: 1.92 2.00 1.88 2/431 1789
/proc/meminfo: memFree=12483988/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=14024 CPUtime=0.02 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 2488 0 0 0 2 0 0 0 25 0 1 0 823725216 14360576 2442 33554432000 4194304 9128323 140736944919872 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 3506 2442 400 1205 0 2297 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14024

[startup+0.100527 s]
/proc/loadavg: 1.92 2.00 1.88 2/431 1789
/proc/meminfo: memFree=12483988/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=25324 CPUtime=0.09 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 5343 0 0 0 8 1 0 0 25 0 1 0 823725216 25931776 5295 33554432000 4194304 9128323 140736944919872 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 6331 5295 400 1205 0 5122 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25324

[startup+0.300513 s]
/proc/loadavg: 1.92 2.00 1.88 2/431 1789
/proc/meminfo: memFree=12483988/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=43692 CPUtime=0.29 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 9949 0 0 0 28 1 0 0 25 0 1 0 823725216 44740608 9869 33554432000 4194304 9128323 140736944919872 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 10923 9882 400 1205 0 9714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43692

[startup+0.700474 s]
/proc/loadavg: 1.92 2.00 1.88 2/431 1789
/proc/meminfo: memFree=12483988/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=63064 CPUtime=0.69 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 14794 0 0 0 67 2 0 0 25 0 1 0 823725216 64577536 14707 33554432000 4194304 9128323 140736944919872 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 15766 14707 400 1205 0 14557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63064

[startup+1.50033 s]
/proc/loadavg: 1.92 2.00 1.88 3/435 1796
/proc/meminfo: memFree=12318656/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=215892 CPUtime=1.49 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 52451 0 0 0 143 6 0 0 25 0 1 0 823725216 221073408 52295 33554432000 4194304 9128323 140736944919872 18446744073709551615 5258335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 53973 52295 467 1205 0 52764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215892

[startup+3.27587 s]
/proc/loadavg: 1.92 2.00 1.88 3/435 1797
/proc/meminfo: memFree=11853532/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=440844 CPUtime=3.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 115956 0 0 0 317 14 0 0 25 0 1 0 823725216 451424256 107660 33554432000 4194304 9128323 140736944919872 18446744073709551615 6592608 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 113004 110484 510 1205 0 111795 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 440844

[startup+13.5282 s]
/proc/loadavg: 2.09 2.03 1.89 3/435 1797
/proc/meminfo: memFree=11405384/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=779240 CPUtime=13.51 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 205978 0 0 0 1325 26 0 0 25 0 1 0 823725216 797941760 189407 33554432000 4194304 9128323 140736944919872 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 194810 189407 609 1205 0 193601 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 779240

[startup+13.6012 s]
/proc/loadavg: 2.09 2.03 1.89 3/435 1797
/proc/meminfo: memFree=11405384/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=779240 CPUtime=13.59 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 206010 0 0 0 1333 26 0 0 25 0 1 0 823725216 797941760 189439 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 194810 189439 609 1205 0 193601 0
Current children cumulated CPU time (s) 13.59
Current children cumulated vsize (KiB) 779240

[startup+25.5011 s]
/proc/loadavg: 2.25 2.07 1.91 5/435 1797
/proc/meminfo: memFree=10860628/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=821344 CPUtime=25.5 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 216517 0 0 0 2522 28 0 0 25 0 1 0 823725216 841056256 199847 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 205336 199847 609 1205 0 204127 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 821344

[startup+51.1007 s]
/proc/loadavg: 2.16 2.07 1.91 5/435 1798
/proc/meminfo: memFree=10708356/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=889160 CPUtime=51.09 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 233061 0 0 0 5079 30 0 0 25 0 1 0 823725216 910499840 216391 33554432000 4194304 9128323 140736944919872 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 222290 216391 609 1205 0 221081 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 889160

[startup+102.301 s]
/proc/loadavg: 2.07 2.05 1.91 5/435 1799
/proc/meminfo: memFree=10413728/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1043072 CPUtime=102.29 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 271025 0 0 0 10194 35 0 0 25 0 1 0 823725216 1068105728 254355 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 260768 254355 609 1205 0 259559 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1043072

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 1.91 5/435 1801
/proc/meminfo: memFree=10010592/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1206096 CPUtime=162.29 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 311499 0 0 0 16188 41 0 0 25 0 1 0 823725216 1235042304 294334 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 301524 294334 609 1205 0 300315 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1206096

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.91 5/435 1802
/proc/meminfo: memFree=9547808/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1424004 CPUtime=222.3 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 364983 0 0 0 22180 50 0 0 25 0 1 0 823725216 1458180096 347686 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 356001 347686 609 1205 0 354792 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1424004

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.91 5/435 1804
/proc/meminfo: memFree=9205312/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1509536 CPUtime=282.3 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 386266 0 0 0 28177 53 0 0 25 0 1 0 823725216 1545764864 368969 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 377384 368969 609 1205 0 376175 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1509536

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.91 4/435 1806
/proc/meminfo: memFree=8937836/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1590844 CPUtime=342.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 406711 0 0 0 34175 56 0 0 25 0 1 0 823725216 1629024256 389414 33554432000 4194304 9128323 140736944919872 18446744073709551615 5489013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 397711 389414 609 1205 0 396502 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1590844

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.91 4/435 1807
/proc/meminfo: memFree=8688208/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1664756 CPUtime=402.3 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 425349 0 0 0 40172 58 0 0 25 0 1 0 823725216 1704710144 408052 33554432000 4194304 9128323 140736944919872 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 416189 408052 609 1205 0 414980 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1664756

[startup+462.317 s]
/proc/loadavg: 2.07 2.04 1.92 5/435 1809
/proc/meminfo: memFree=8436476/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1815204 CPUtime=462.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 462224 0 0 0 46168 64 0 0 25 0 1 0 823725216 1858768896 444927 33554432000 4194304 9128323 140736944919872 18446744073709551615 5489930 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 453801 444927 609 1205 0 452592 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 1815204

[startup+522.301 s]
/proc/loadavg: 2.13 2.07 1.94 5/435 1810
/proc/meminfo: memFree=8226900/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1850616 CPUtime=522.3 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 471389 0 0 0 52164 66 0 0 25 0 1 0 823725216 1895030784 454092 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 462654 454092 613 1205 0 461445 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1850616

[startup+582.301 s]
/proc/loadavg: 2.08 2.07 1.94 5/435 1812
/proc/meminfo: memFree=8111684/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1885028 CPUtime=582.3 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 480030 0 0 0 58163 67 0 0 25 0 1 0 823725216 1930268672 462733 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 471257 462733 613 1205 0 470048 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1885028

[startup+642.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.94 4/435 1822
/proc/meminfo: memFree=7427124/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2128252 CPUtime=942.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 541171 0 0 0 94154 77 0 0 25 0 1 0 823725216 2179330048 523808 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 532063 523808 613 1205 0 530854 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2128252

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.94 5/435 1823
/proc/meminfo: memFree=7279300/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2166564 CPUtime=1002.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 550282 0 0 0 100153 78 0 0 25 0 1 0 823725216 2218561536 532919 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 541641 532919 613 1205 0 540432 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2166564

[startup+1062.3 s]
/proc/loadavg: 2.05 2.02 1.95 4/435 1825
/proc/meminfo: memFree=7000772/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2200740 CPUtime=1062.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 559211 0 0 0 106151 80 0 0 25 0 1 0 823725216 2253557760 541848 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 550185 541848 613 1205 0 548976 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2200740

[startup+1122.32 s]
/proc/loadavg: 2.06 2.03 1.95 5/435 1826
/proc/meminfo: memFree=6920404/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2233004 CPUtime=1122.33 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 567392 0 0 0 112152 81 0 0 25 0 1 0 823725216 2286596096 550029 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 558251 550029 613 1205 0 557042 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2233004

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.95 4/435 1828
/proc/meminfo: memFree=6870672/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2273404 CPUtime=1182.31 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 577458 0 0 0 118149 82 0 0 25 0 1 0 823725216 2327965696 560095 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 568351 560095 613 1205 0 567142 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2273404

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 4/435 1830
/proc/meminfo: memFree=6835432/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2309648 CPUtime=1242.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 586200 0 0 0 124148 84 0 0 25 0 1 0 823725216 2365079552 568837 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 577412 568837 613 1205 0 576203 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2309648

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.95 5/435 1831
/proc/meminfo: memFree=6800948/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2340840 CPUtime=1302.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 594136 0 0 0 130147 85 0 0 25 0 1 0 823725216 2397020160 576773 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 585210 576773 613 1205 0 584001 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2340840

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/435 1833
/proc/meminfo: memFree=6766332/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2378188 CPUtime=1362.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 603257 0 0 0 136145 87 0 0 25 0 1 0 823725216 2435264512 585894 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 594547 585894 613 1205 0 593338 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2378188

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 5/435 1834
/proc/meminfo: memFree=6737308/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2407500 CPUtime=1422.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 610509 0 0 0 142144 88 0 0 25 0 1 0 823725216 2465280000 593146 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 601875 593146 613 1205 0 600666 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2407500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/435 1836
/proc/meminfo: memFree=6707040/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2435732 CPUtime=1482.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 617951 0 0 0 148143 89 0 0 25 0 1 0 823725216 2494189568 600588 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 608933 600588 613 1205 0 607724 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2435732

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/435 1838
/proc/meminfo: memFree=6668468/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2476952 CPUtime=1542.33 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 627901 0 0 0 154142 91 0 0 25 0 1 0 823725216 2536398848 610538 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 619238 610538 613 1205 0 618029 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2476952

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.96 4/435 1839
/proc/meminfo: memFree=6631624/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2511132 CPUtime=1602.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 636919 0 0 0 160140 92 0 0 25 0 1 0 823725216 2571399168 619556 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 627783 619556 613 1205 0 626574 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2511132

[startup+1662.3 s]
/proc/loadavg: 2.21 2.06 1.98 4/435 1841
/proc/meminfo: memFree=6570604/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2569904 CPUtime=1662.33 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 652084 0 0 0 166137 96 0 0 25 0 1 0 823725216 2631581696 634721 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 642476 634721 613 1205 0 641267 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2569904

[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 1.98 4/435 1842
/proc/meminfo: memFree=6447208/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2697288 CPUtime=1722.32 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 682893 0 0 0 172132 100 0 0 25 0 1 0 823725216 2762022912 665530 33554432000 4194304 9128323 140736944919872 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 674322 665530 613 1205 0 673113 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2697288

[startup+1782.32 s]
/proc/loadavg: 2.05 2.05 1.98 5/435 1844
/proc/meminfo: memFree=6396220/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2743848 CPUtime=1782.34 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 695342 0 0 0 178132 102 0 0 25 0 1 0 823725216 2809700352 677979 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488358 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 685962 677979 613 1205 0 684753 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2743848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.04 1.98 3/435 1844
/proc/meminfo: memFree=6345008/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2799148 CPUtime=1800.03 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 708010 0 0 0 179899 104 0 0 25 0 1 0 823725216 2866327552 690647 33554432000 4194304 9128323 140736944919872 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1789/statm: 699787 690647 613 1205 0 698578 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2799148

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

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

[startup+1800.4 s]
/proc/loadavg: 2.03 2.04 1.98 3/435 1844
/proc/meminfo: memFree=6345008/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=2727240 CPUtime=1800.43 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 708808 0 0 0 179938 105 0 0 25 0 1 0 823725216 2792693760 672540 33554432000 4194304 9128323 140736944919872 18446744073709551615 8001238 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 681810 672540 623 1205 0 680601 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 2727240

[startup+1800.6 s]
/proc/loadavg: 2.03 2.04 1.98 3/435 1844
/proc/meminfo: memFree=6345008/32951132 swapFree=67093840/67111528
[pid=1789] ppid=1787 vsize=1746568 CPUtime=1800.63 cores=0,2,4,6
/proc/1789/stat : 1789 (scip-2.0.1.4.li) R 1787 1789 27022 0 -1 4202496 708830 0 0 0 179949 114 0 0 25 0 1 0 823725216 1788485632 175862 33554432000 4194304 9128323 140736944919872 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1789/statm: 436642 175447 645 1205 0 435433 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 1746568

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.67
CPU user time (s): 1799.5
CPU system time (s): 1.17282
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2803012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1879

runsolver used 9.03563 second user time and 20.8308 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-03 19:14:16
IDJOB=3453525
IDBENCH=77707
IDSOLVER=1949
FILE ID=node131/3453525-1307121256
RUNJOBID= node131-1307119453-1659
PBS_JOBID= 13497965
Free space on /tmp= 73896 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/j90opt/normalized-j901_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-3453525-1307121256/watcher-3453525-1307121256 -o /tmp/evaluation-result-3453525-1307121256/solver-3453525-1307121256 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453525-1307121256.opb -t 1800 -m 15500

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

MD5SUM BENCH= 29866b5303e93f21a5ca0b7be599249a
RANDOM SEED=181450085

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12484640 kB
Buffers:        348468 kB
Cached:        5680884 kB
SwapCached:        948 kB
Active:       15981304 kB
Inactive:      4164692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12484640 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:           22180 kB
Writeback:           4 kB
AnonPages:    14115824 kB
Mapped:          38080 kB
Slab:           197540 kB
PageTables:      55768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95333460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73868 MiB
End job on node131 at 2011-06-03 19:44:18