Trace number 3451865

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 E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.79 1800.74

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.5 [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-3451865-1307119896.opb>
1.11/1.13	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176035 constraints
1.11/1.13	c problem read
1.11/1.13	c presolving settings loaded
1.39/1.45	c presolving:
5.89/5.99	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
7.39/7.46	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
7.71/7.75	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
7.79/7.88	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
7.89/7.95	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
7.99/8.00	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
7.99/8.05	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
7.99/8.09	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
8.49/8.59	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
8.89/8.90	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
435.51/435.53	c    (435.5s) probing: 1000/44908 (2.2%) - 9 fixings, 1 aggregations, 8227140 implications, 0 bound changes
789.61/789.67	c    (789.7s) probing: 2000/44908 (4.5%) - 10 fixings, 1 aggregations, 12574177 implications, 0 bound changes
1153.52/1153.56	c    (1153.6s) probing: 3000/44908 (6.7%) - 31 fixings, 1 aggregations, 16467646 implications, 0 bound changes
1459.75/1459.77	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
1460.75/1460.79	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
1461.03/1461.07	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
1505.95/1505.93	c    (1505.9s) probing: 4000/44908 (8.9%) - 49 fixings, 11 aggregations, 20029273 implications, 0 bound changes
1800.23/1800.23	c    (1800.2s) probing: 4900/44908 (10.9%) - 57 fixings, 17 aggregations, 27816530 implications, 0 bound changes
1800.23/1800.23	c    (1800.2s) probing aborted: solving stopped
1800.23/1800.23	c (round 14) 9972 del vars, 34979 del conss, 30 add conss, 7520 chg bounds, 125 chg sides, 636 chg coeffs, 141749 upgd conss, 91097884 impls, 2397 clqs
1800.23/1800.23	c presolving (14 rounds):
1800.23/1800.23	c  9972 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.23/1800.23	c  91097884 implications, 2397 cliques
1800.23/1800.23	c presolving was interrupted.
1800.23/1800.23	c Presolving Time: 1798.87
1800.23/1800.23	c - non default parameters ----------------------------------------------------------------------
1800.23/1800.23	c # SCIP version 2.0.1.5
1800.23/1800.23	c 
1800.23/1800.23	c # frequency for displaying node information lines
1800.23/1800.23	c # [type: int, range: [-1,2147483647], default: 100]
1800.23/1800.23	c display/freq = 10000
1800.23/1800.23	c 
1800.23/1800.23	c # maximal time in seconds to run
1800.23/1800.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.23	c limits/time = 1800
1800.23/1800.23	c 
1800.23/1800.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.23/1800.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.23/1800.23	c limits/memory = 13950
1800.23/1800.23	c 
1800.23/1800.23	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.23/1800.23	c # [type: int, range: [1,2], default: 1]
1800.23/1800.23	c timing/clocktype = 2
1800.23/1800.23	c 
1800.23/1800.23	c # belongs reading time to solving time?
1800.23/1800.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23	c timing/reading = TRUE
1800.23/1800.23	c 
1800.23/1800.23	c # should presolving try to simplify inequalities
1800.23/1800.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23	c constraints/linear/simplifyinequalities = TRUE
1800.23/1800.23	c 
1800.23/1800.23	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.23/1800.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23	c constraints/indicator/addCouplingCons = TRUE
1800.23/1800.23	c 
1800.23/1800.23	c # should presolving try to simplify knapsacks
1800.23/1800.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.23/1800.23	c constraints/knapsack/simplifyinequalities = TRUE
1800.23/1800.23	c 
1800.23/1800.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.23/1800.23	c # [type: int, range: [-1,2147483647], default: -1]
1800.23/1800.23	c separating/rapidlearning/freq = 0
1800.23/1800.23	c 
1800.23/1800.23	c -----------------------------------------------------------------------------------------------
1800.23/1800.23	c start solving
1800.23/1800.25	c presolving:
1800.23/1800.25	c presolving (14 rounds):
1800.23/1800.25	c  9972 deleted vars, 34979 deleted constraints, 30 added constraints, 7520 tightened bounds, 0 added holes, 125 changed sides, 636 changed coefficients
1800.23/1800.25	c  91097884 implications, 2397 cliques
1800.23/1800.25	c presolving was interrupted.
1800.23/1800.25	c Presolving Time: 1798.90
1800.23/1800.25	c 
1800.23/1800.25	c SCIP Status        : solving was interrupted [time limit reached]
1800.23/1800.25	c Solving Time (sec) : 1800.25
1800.23/1800.25	c Solving Nodes      : 0
1800.23/1800.25	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.23/1800.25	s UNKNOWN
1800.23/1800.25	c SCIP Status        : solving was interrupted [time limit reached]
1800.23/1800.25	c Total Time         :    1800.25
1800.23/1800.25	c   solving          :    1800.25
1800.23/1800.25	c   presolving       :    1798.90 (included in solving)
1800.23/1800.25	c   reading          :       1.13 (included in solving)
1800.23/1800.25	c Original Problem   :
1800.23/1800.25	c   Problem name     : HOME/instance-3451865-1307119896.opb
1800.23/1800.25	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.25	c   Constraints      : 176035 initial, 176035 maximal
1800.23/1800.25	c Presolved Problem  :
1800.23/1800.25	c   Problem name     : t_HOME/instance-3451865-1307119896.opb
1800.23/1800.25	c   Variables        : 44810 (44810 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.25	c   Constraints      : 141086 initial, 141086 maximal
1800.23/1800.25	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.23/1800.25	c   trivial          :       0.03        658          0          0          0          0          0          0          0          0
1800.23/1800.25	c   dualfix          :       0.05         91          0          0          0          0          0          0          0          0
1800.23/1800.25	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c   implics          :       1.12          0         24          0          0          0          0          0          0          0
1800.23/1800.25	c   probing          :    1789.51         57         17          0          0          0          0          0          0          0
1800.23/1800.25	c   knapsack         :       0.74          0          0          0          0          0          4         30         57        554
1800.23/1800.25	c   setppc           :       0.36          0          0          0          0          0        682          0          0          0
1800.23/1800.25	c   linear           :       6.71       6862       2263          0       7520          0      34286          0         68         82
1800.23/1800.25	c   logicor          :       0.10          0          0          0          0          0          7          0          0          0
1800.23/1800.25	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.23/1800.25	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.23/1800.25	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c   knapsack         :          0+         0     237207          0          0          0          0         12          0          0          0          0
1800.23/1800.25	c   setppc           :          0+         0     237195          0          0          0          0         10          0          0          0          0
1800.23/1800.25	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c   logicor          :          0+         0     216078          0          0          0          0          7          0          0          0          0
1800.23/1800.25	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.23/1800.25	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.23/1800.25	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.23/1800.25	c   knapsack         :      12.79       0.00      12.79       0.00       0.00       0.00       0.00
1800.23/1800.25	c   setppc           :    1169.90       0.00    1169.90       0.00       0.00       0.00       0.00
1800.23/1800.25	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.23/1800.25	c   logicor          :       9.89       0.00       9.89       0.00       0.00       0.00       0.00
1800.23/1800.25	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.23/1800.25	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.23/1800.25	c   vbounds          :          0          0          0          0
1800.23/1800.25	c   rootredcost      :          0          0          0          0
1800.23/1800.25	c   pseudoobj        :          0          0          0          0
1800.23/1800.25	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.23/1800.25	c   vbounds          :       0.10       0.10       0.00
1800.23/1800.25	c   rootredcost      :       0.07       0.07       0.00
1800.23/1800.25	c   pseudoobj        :       0.04       0.04       0.00
1800.23/1800.25	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.23/1800.25	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.23/1800.25	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.25	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.25	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.25	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.23/1800.25	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.23/1800.25	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.75/1800.74	c Time complete: 1800.77.

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-3451865-1307119896/watcher-3451865-1307119896 -o /tmp/evaluation-result-3451865-1307119896/solver-3451865-1307119896 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451865-1307119896.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.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=14976 CPUtime=0.01 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 2720 0 0 0 1 0 0 0 25 0 1 0 804404962 15335424 2673 33554432000 4194304 9163163 140736315605408 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 3744 2673 395 1214 0 2526 0

[startup+0.042589 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=21160 CPUtime=0.03 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 4259 0 0 0 3 0 0 0 25 0 1 0 804404962 21667840 4212 33554432000 4194304 9163163 140736315605408 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21160

[startup+0.100583 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 6520 0 0 0 9 0 0 0 25 0 1 0 804404962 30793728 6473 33554432000 4194304 9163163 140736315605408 18446744073709551615 6163650 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072

[startup+0.300534 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=50696 CPUtime=0.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 11654 0 0 0 28 1 0 0 25 0 1 0 804404962 51912704 11607 33554432000 4194304 9163163 140736315605408 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 12674 11607 395 1214 0 11456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50696

[startup+0.700476 s]
/proc/loadavg: 1.84 1.99 1.96 2/473 23456
/proc/meminfo: memFree=21403476/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=79928 CPUtime=0.69 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 18934 0 0 0 67 2 0 0 25 0 1 0 804404962 81846272 18887 33554432000 4194304 9163163 140736315605408 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 19982 18887 395 1214 0 18764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79928

[startup+1.50033 s]
/proc/loadavg: 1.84 1.99 1.96 3/478 23462
/proc/meminfo: memFree=21200076/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=284656 CPUtime=1.49 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 69052 0 0 0 141 8 0 0 25 0 1 0 804404962 291487744 68971 33554432000 4194304 9163163 140736315605408 18446744073709551615 4831663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 71164 68971 497 1214 0 69946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 284656

[startup+3.10101 s]
/proc/loadavg: 1.84 1.99 1.96 3/478 23462
/proc/meminfo: memFree=20703208/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=467048 CPUtime=3.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 114466 0 0 0 296 13 0 0 25 0 1 0 804404962 478257152 114385 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 116762 114385 506 1214 0 115544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 467048

[startup+6.30048 s]
/proc/loadavg: 1.85 1.99 1.96 3/478 23463
/proc/meminfo: memFree=20161364/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=658544 CPUtime=6.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 160611 0 0 0 610 19 0 0 25 0 1 0 804404962 674349056 160273 33554432000 4194304 9163163 140736315605408 18446744073709551615 6568744 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 164636 160273 517 1214 0 163418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 658544

[startup+12.7004 s]
/proc/loadavg: 1.86 1.99 1.96 3/478 23463
/proc/meminfo: memFree=19913128/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=787368 CPUtime=12.69 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 198009 0 0 0 1246 23 0 0 25 0 1 0 804404962 806264832 191313 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 196842 191313 574 1214 0 195624 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 787368

[startup+25.5011 s]
/proc/loadavg: 1.89 1.99 1.96 3/478 23463
/proc/meminfo: memFree=19819960/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=841340 CPUtime=25.49 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 210974 0 0 0 2525 24 0 0 25 0 1 0 804404962 861532160 204278 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 210335 204278 574 1214 0 209117 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 841340

[startup+51.1005 s]
/proc/loadavg: 1.93 1.99 1.96 3/478 23464
/proc/meminfo: memFree=19665656/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=910344 CPUtime=51.09 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 228335 0 0 0 5084 25 0 0 25 0 1 0 804404962 932192256 221639 33554432000 4194304 9163163 140736315605408 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 227586 221639 574 1214 0 226368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 910344

[startup+102.318 s]
/proc/loadavg: 1.97 1.99 1.96 3/478 23465
/proc/meminfo: memFree=19304472/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1063532 CPUtime=102.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 266174 0 0 0 10202 30 0 0 25 0 1 0 804404962 1089056768 259478 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 265883 259478 574 1214 0 264665 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1063532

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/478 23467
/proc/meminfo: memFree=18881868/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1288296 CPUtime=162.29 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 321528 0 0 0 16193 36 0 0 25 0 1 0 804404962 1319215104 314832 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567534 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 322074 314832 574 1214 0 320856 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1288296

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.96 3/478 23468
/proc/meminfo: memFree=18562308/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1454420 CPUtime=222.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 362362 0 0 0 22188 42 0 0 25 0 1 0 804404962 1489326080 355666 33554432000 4194304 9163163 140736315605408 18446744073709551615 4221144 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 363605 355666 574 1214 0 362387 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1454420

[startup+282.301 s]
/proc/loadavg: 2.09 2.02 1.97 3/478 23470
/proc/meminfo: memFree=18347152/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1551888 CPUtime=282.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 386665 0 0 0 28185 45 0 0 25 0 1 0 804404962 1589133312 379969 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 387972 379969 574 1214 0 386754 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1551888

[startup+342.301 s]
/proc/loadavg: 2.03 2.02 1.97 3/478 23471
/proc/meminfo: memFree=18121832/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1651184 CPUtime=342.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 411137 0 0 0 34181 49 0 0 25 0 1 0 804404962 1690812416 404441 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 412796 404441 574 1214 0 411578 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1651184

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/478 23473
/proc/meminfo: memFree=17899988/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1808728 CPUtime=402.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 450180 0 0 0 40178 52 0 0 25 0 1 0 804404962 1852137472 443484 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458921 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 452182 443484 574 1214 0 450964 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1808728

[startup+462.301 s]
/proc/loadavg: 2.08 2.04 1.98 3/478 23475
/proc/meminfo: memFree=17788992/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1848244 CPUtime=462.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 460437 0 0 0 46176 54 0 0 25 0 1 0 804404962 1892601856 453741 33554432000 4194304 9163163 140736315605408 18446744073709551615 5459013 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 462061 453741 578 1214 0 460843 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1848244

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/478 23476
/proc/meminfo: memFree=17640920/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1886648 CPUtime=522.3 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 470096 0 0 0 52175 55 0 0 25 0 1 0 804404962 1931927552 463400 33554432000 4194304 9163163 140736315605408 18446744073709551615 6479337 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 471662 463400 578 1214 0 470444 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1886648

[startup+582.301 s]
/proc/loadavg: 2.02 2.03 1.98 3/478 23487
/proc/meminfo: memFree=17451860/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=1941184 CPUtime=582.31 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 483730 0 0 0 58173 58 0 0 25 0 1 0 804404962 1987772416 477034 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 485296 477034 578 1214 0 484078 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1941184

[startup+642.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/478 23498
/proc/meminfo: memFree=16719964/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2231868 CPUtime=1002.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 556218 0 0 0 100163 69 0 0 25 0 1 0 804404962 2285432832 549522 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 557967 549522 578 1214 0 556749 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2231868

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/478 23500
/proc/meminfo: memFree=16676424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2274276 CPUtime=1062.31 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 567115 0 0 0 106161 70 0 0 25 0 1 0 804404962 2328858624 560419 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 568569 560419 578 1214 0 567351 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2274276

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/478 23501
/proc/meminfo: memFree=16637228/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2313564 CPUtime=1122.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 576759 0 0 0 112161 71 0 0 25 0 1 0 804404962 2369089536 570063 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 578391 570063 578 1214 0 577173 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2313564

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23503
/proc/meminfo: memFree=16601372/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2347808 CPUtime=1182.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 585561 0 0 0 118159 73 0 0 25 0 1 0 804404962 2404155392 578865 33554432000 4194304 9163163 140736315605408 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 586952 578865 578 1214 0 585734 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2347808

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23504
/proc/meminfo: memFree=16562052/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2388196 CPUtime=1242.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 595524 0 0 0 124158 74 0 0 25 0 1 0 804404962 2445512704 588828 33554432000 4194304 9163163 140736315605408 18446744073709551615 4709100 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 597049 588828 578 1214 0 595831 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2388196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23506
/proc/meminfo: memFree=16530796/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2418492 CPUtime=1302.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 603215 0 0 0 130158 75 0 0 25 0 1 0 804404962 2476535808 596519 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 604623 596519 578 1214 0 603405 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2418492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23508
/proc/meminfo: memFree=16493208/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2457748 CPUtime=1362.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 612571 0 0 0 136156 77 0 0 25 0 1 0 804404962 2516733952 605875 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 614437 605875 578 1214 0 613219 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2457748

[startup+1422.32 s]
/proc/loadavg: 2.03 2.02 2.00 3/478 23509
/proc/meminfo: memFree=16449420/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2497932 CPUtime=1422.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 623434 0 0 0 142156 78 0 0 25 0 1 0 804404962 2557882368 616738 33554432000 4194304 9163163 140736315605408 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 624483 616738 578 1214 0 623265 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2497932

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/478 23511
/proc/meminfo: memFree=16389020/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2559692 CPUtime=1482.32 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 638329 0 0 0 148153 79 0 0 25 0 1 0 804404962 2621124608 631633 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 639923 631633 578 1214 0 638705 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2559692

[startup+1542.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/478 23512
/proc/meminfo: memFree=16275424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2673156 CPUtime=1542.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 666893 0 0 0 154149 84 0 0 25 0 1 0 804404962 2737311744 660197 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 668289 660197 578 1214 0 667071 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2673156

[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/478 23514
/proc/meminfo: memFree=16213416/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2735508 CPUtime=1602.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 682525 0 0 0 160147 86 0 0 25 0 1 0 804404962 2801160192 675829 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 683877 675829 578 1214 0 682659 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2735508

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/478 23516
/proc/meminfo: memFree=16070936/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2879704 CPUtime=1662.33 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 717788 0 0 0 166143 90 0 0 25 0 1 0 804404962 2948816896 711092 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 719926 711092 578 1214 0 718708 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2879704

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23517
/proc/meminfo: memFree=15947424/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3005096 CPUtime=1722.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 748909 0 0 0 172140 94 0 0 25 0 1 0 804404962 3077218304 742213 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 751274 742213 578 1214 0 750056 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3005096

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15752244/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3200800 CPUtime=1782.34 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 797042 0 0 0 178134 100 0 0 25 0 1 0 804404962 3277619200 790346 33554432000 4194304 9163163 140736315605408 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 800200 790346 578 1214 0 798982 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3200800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15711820/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3240920 CPUtime=1800.05 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 807024 0 0 0 179905 100 0 0 25 0 1 0 804404962 3318702080 800328 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 810230 800328 578 1214 0 809012 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3240920

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23519
/proc/meminfo: memFree=15711820/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=3241864 CPUtime=1800.23 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 807202 0 0 0 179923 100 0 0 25 0 1 0 804404962 3319668736 800506 33554432000 4194304 9163163 140736315605408 18446744073709551615 6567522 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23456/statm: 810466 800506 578 1214 0 809248 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 3241864

[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 23521
/proc/meminfo: memFree=15989564/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2924864 CPUtime=1800.65 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 808072 0 0 0 179962 103 0 0 25 0 1 0 804404962 2995060736 721614 33554432000 4194304 9163163 140736315605408 18446744073709551615 8095719 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 731216 721614 592 1214 0 729998 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 2924864

[startup+1800.72 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 23521
/proc/meminfo: memFree=15989564/32951124 swapFree=67057928/67111528
[pid=23456] ppid=23454 vsize=2586808 CPUtime=1800.75 cores=0,2,4,6
/proc/23456/stat : 23456 (scip-2.0.1.4b.l) R 23454 23456 20996 0 -1 4202496 808083 0 0 0 179963 112 0 0 25 0 1 0 804404962 2648891392 159305 33554432000 4194304 9163163 140736315605408 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23456/statm: 646702 159002 603 1214 0 645484 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 2586808

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.79
CPU user time (s): 1799.64
CPU system time (s): 1.14882
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3242872

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

runsolver used 8.98363 second user time and 18.9381 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-03 18:51:36
IDJOB=3451865
IDBENCH=77707
IDSOLVER=1948
FILE ID=node140/3451865-1307119896
RUNJOBID= node140-1307118094-23334
PBS_JOBID= 13497993
Free space on /tmp= 73600 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b 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.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451865-1307119896/watcher-3451865-1307119896 -o /tmp/evaluation-result-3451865-1307119896/solver-3451865-1307119896 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451865-1307119896.opb -t 1800 -m 15500

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

MD5SUM BENCH= 29866b5303e93f21a5ca0b7be599249a
RANDOM SEED=1540117136

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21404872 kB
Buffers:        297736 kB
Cached:        3998104 kB
SwapCached:       6932 kB
Active:        7393856 kB
Inactive:      3816752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21404872 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:           33460 kB
Writeback:           0 kB
AnonPages:     6913024 kB
Mapped:          37232 kB
Slab:           215396 kB
PageTables:      52084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141381136 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= 73576 MiB
End job on node140 at 2011-06-03 19:21:38