Trace number 3740436

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.38 1790.73

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_8.std.opb
MD5SUM4696f28c33c3f125d6253e0b5378b0b9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark108
Best CPU time to get the best result obtained on this benchmark0.314951
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256445
Number of constraints which are clauses255245
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 constraint36
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3740436-1338738002.opb>
1.69/1.71	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256445 constraints
1.69/1.71	c problem read
1.69/1.71	c presolving settings loaded
2.20/2.25	c presolving:
9.08/9.15	c (round 1) 7946 del vars, 23667 del conss, 6409 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17151058 impls, 0 clqs
12.28/12.37	c (round 2) 14341 del vars, 53167 del conss, 12515 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17187456 impls, 0 clqs
13.38/13.47	c (round 3) 17051 del vars, 65144 del conss, 14284 chg bounds, 102 chg sides, 96 chg coeffs, 0 upgd conss, 17204908 impls, 0 clqs
14.08/14.11	c (round 4) 18567 del vars, 71293 del conss, 15327 chg bounds, 126 chg sides, 116 chg coeffs, 0 upgd conss, 17216609 impls, 0 clqs
14.38/14.48	c (round 5) 19590 del vars, 75453 del conss, 15968 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17227510 impls, 0 clqs
14.68/14.79	c (round 6) 20349 del vars, 78416 del conss, 16469 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17233817 impls, 0 clqs
14.98/15.01	c (round 7) 20911 del vars, 80712 del conss, 16812 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17239889 impls, 0 clqs
15.08/15.17	c (round 8) 21296 del vars, 82321 del conss, 17040 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17243868 impls, 0 clqs
15.29/15.30	c (round 9) 21560 del vars, 83435 del conss, 17201 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17246564 impls, 0 clqs
15.29/15.39	c (round 10) 21688 del vars, 84064 del conss, 17278 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17247727 impls, 0 clqs
15.39/15.47	c (round 11) 21773 del vars, 84426 del conss, 17324 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17248890 impls, 0 clqs
15.48/15.54	c (round 12) 21837 del vars, 84698 del conss, 17359 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17249723 impls, 0 clqs
15.58/15.63	c (round 13) 21877 del vars, 84885 del conss, 17388 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17250152 impls, 0 clqs
15.58/15.69	c (round 14) 21899 del vars, 85000 del conss, 17398 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17250329 impls, 0 clqs
15.68/15.76	c (round 15) 21905 del vars, 85034 del conss, 17401 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 17250394 impls, 0 clqs
617.19/617.36	c    (615.6s) probing: 1000/50935 (2.0%) - 3 fixings, 1 aggregations, 14312709 implications, 0 bound changes
1119.81/1120.08	c    (1118.4s) probing: 2000/50935 (3.9%) - 5 fixings, 3 aggregations, 23329528 implications, 0 bound changes
1570.55/1570.82	c    (1569.1s) probing: 3000/50935 (5.9%) - 5 fixings, 3 aggregations, 31144691 implications, 0 bound changes
1789.64/1790.03	c    (1788.3s) probing: 3522/50935 (6.9%) - 5 fixings, 3 aggregations, 35455042 implications, 0 bound changes
1789.64/1790.03	c    (1788.3s) probing aborted: solving stopped
1789.64/1790.03	c (round 16) 21915 del vars, 85049 del conss, 17401 chg bounds, 141 chg sides, 131 chg coeffs, 0 upgd conss, 132340852 impls, 0 clqs
1789.64/1790.03	c presolving (16 rounds):
1789.64/1790.03	c  21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 141 changed sides, 131 changed coefficients
1789.64/1790.03	c  132340852 implications, 0 cliques
1789.64/1790.03	c presolving was interrupted.
1789.64/1790.03	c Presolving Time: 1787.93
1789.64/1790.03	c - non default parameters ----------------------------------------------------------------------
1789.64/1790.03	c # SCIP version 1.2.1.3
1789.64/1790.03	c 
1789.64/1790.03	c # frequency for displaying node information lines
1789.64/1790.03	c # [type: int, range: [-1,2147483647], default: 100]
1789.64/1790.03	c display/freq = 10000
1789.64/1790.03	c 
1789.64/1790.03	c # maximal time in seconds to run
1789.64/1790.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.64/1790.03	c limits/time = 1788.29
1789.64/1790.03	c 
1789.64/1790.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.64/1790.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.64/1790.03	c limits/memory = 13950
1789.64/1790.03	c 
1789.64/1790.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.64/1790.03	c # [type: int, range: [1,2], default: 1]
1789.64/1790.03	c timing/clocktype = 2
1789.64/1790.03	c 
1789.64/1790.03	c # should presolving try to simplify inequalities
1789.64/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.64/1790.03	c constraints/linear/simplifyinequalities = TRUE
1789.64/1790.03	c 
1789.64/1790.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.64/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.64/1790.03	c constraints/indicator/addCouplingCons = TRUE
1789.64/1790.03	c 
1789.64/1790.03	c # should presolving try to simplify knapsacks
1789.64/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.64/1790.03	c constraints/knapsack/simplifyinequalities = TRUE
1789.64/1790.03	c 
1789.64/1790.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.64/1790.03	c # [type: int, range: [-1,2147483647], default: -1]
1789.64/1790.03	c separating/rapidlearning/freq = 0
1789.64/1790.03	c 
1789.64/1790.03	c -----------------------------------------------------------------------------------------------
1789.64/1790.03	c start solving
1789.74/1790.12	c presolving:
1789.74/1790.12	c presolving (16 rounds):
1789.74/1790.12	c  21915 deleted vars, 85049 deleted constraints, 17401 tightened bounds, 0 added holes, 141 changed sides, 131 changed coefficients
1789.74/1790.12	c  132340852 implications, 0 cliques
1789.74/1790.12	c presolving was interrupted.
1789.74/1790.12	c Presolving Time: 1788.02
1789.74/1790.12	c 
1789.74/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.74/1790.12	c Solving Time (sec) : 1788.41
1789.74/1790.12	c Solving Nodes      : 0
1789.74/1790.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.74/1790.12	s UNKNOWN
1789.74/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.74/1790.12	c Solving Time       :    1788.41
1789.74/1790.12	c Original Problem   :
1789.74/1790.12	c   Problem name     : HOME/instance-3740436-1338738002.opb
1789.74/1790.12	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.12	c   Constraints      : 256445 initial, 256445 maximal
1789.74/1790.12	c Presolved Problem  :
1789.74/1790.12	c   Problem name     : t_HOME/instance-3740436-1338738002.opb
1789.74/1790.12	c   Variables        : 50927 (50927 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.12	c   Constraints      : 171396 initial, 171396 maximal
1789.74/1790.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.74/1790.12	c   trivial          :       0.04       1093          0          0          0          0          0          0          0
1789.74/1790.12	c   dualfix          :       0.07        122          0          0          0          0          0          0          0
1789.74/1790.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.74/1790.12	c   implics          :       0.53          0          0          0          0          0          0          0          0
1789.74/1790.12	c   probing          :    1774.21          5          3          0          0          0          0          0          0
1789.74/1790.12	c   linear           :      12.86      16308       4384          0      17401          0      85049        141        131
1789.74/1790.12	c   root node        :          -          0          -          -          0          -          -          -          -
1789.74/1790.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.74/1790.12	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.74/1790.12	c   linear           :          0+         0     178083          0          0          3          0          0          0          0
1789.74/1790.12	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.74/1790.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.74/1790.12	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.12	c   linear           :     878.63       0.00     878.63       0.00       0.00
1789.74/1790.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.74/1790.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.74/1790.12	c   vbounds          :       0.07          1          0          0
1789.74/1790.12	c   rootredcost      :       0.05          0          0          0
1789.74/1790.12	c   pseudoobj        :       0.05          0          0          0
1789.74/1790.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.74/1790.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.74/1790.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.74/1790.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.74/1790.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.74/1790.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.35/1790.73	c Time complete: 1790.37.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.11 2.03 2/177 5357
/proc/meminfo: memFree=27124064/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 1 0 339925913 9158656 1268 33554432000 4194304 8395647 140733502408928 140735489985576 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 2236 1270 374 1026 0 1206 0

[startup+0.00973692 s]
/proc/loadavg: 2.24 2.11 2.03 2/177 5357
/proc/meminfo: memFree=27124064/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=10940 CPUtime=0 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1992 0 0 0 0 0 0 0 20 0 1 0 339925913 11202560 1938 33554432000 4194304 8395647 140733502408928 140735489985576 7347794 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 2735 1938 393 1026 0 1705 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10940

[startup+0.100217 s]
/proc/loadavg: 2.24 2.11 2.03 2/177 5357
/proc/meminfo: memFree=27124064/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=26212 CPUtime=0.09 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 5791 0 0 0 8 1 0 0 20 0 1 0 339925913 26841088 5737 33554432000 4194304 8395647 140733502408928 140735489985576 7382078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 6553 5737 393 1026 0 5523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26212

[startup+0.300221 s]
/proc/loadavg: 2.24 2.11 2.03 2/177 5357
/proc/meminfo: memFree=27124064/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=52108 CPUtime=0.29 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 12263 0 0 0 27 2 0 0 20 0 1 0 339925913 53358592 12209 33554432000 4194304 8395647 140733502408928 140735489985576 7382056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 13027 12209 393 1026 0 11997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52108

[startup+0.700228 s]
/proc/loadavg: 2.24 2.11 2.03 2/177 5357
/proc/meminfo: memFree=27124064/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=74216 CPUtime=0.69 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 17787 0 0 0 66 3 0 0 20 0 1 0 339925913 75997184 17733 33554432000 4194304 8395647 140733502408928 140733502274136 7382061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 18554 17733 393 1026 0 17524 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74216

[startup+1.50022 s]
/proc/loadavg: 2.22 2.10 2.03 3/178 5358
/proc/meminfo: memFree=27035520/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=134176 CPUtime=1.49 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 32779 0 0 0 144 5 0 0 20 0 1 0 339925913 137396224 32725 33554432000 4194304 8395647 140733502408928 140733502274136 7371017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 33544 32725 393 1026 0 32514 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134176

[startup+3.10023 s]
/proc/loadavg: 2.22 2.10 2.03 3/178 5358
/proc/meminfo: memFree=26771772/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=468024 CPUtime=3.09 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 115316 0 0 0 292 17 0 0 20 0 1 0 339925913 479256576 114908 33554432000 4194304 8395647 140733502408928 140733502404680 6080705 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5357/statm: 117006 114908 463 1026 0 115976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 468024

[startup+6.30025 s]
/proc/loadavg: 2.22 2.10 2.03 3/178 5358
/proc/meminfo: memFree=26461772/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=731816 CPUtime=6.29 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 180789 0 0 0 602 27 0 0 20 0 1 0 339925913 749379584 180381 33554432000 4194304 8395647 140733502408928 140733502404680 6080349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 182954 180381 469 1026 0 181924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 731816

[startup+12.7003 s]
/proc/loadavg: 2.19 2.10 2.03 3/178 5358
/proc/meminfo: memFree=26236232/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=877900 CPUtime=12.68 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 215559 0 0 0 1237 31 0 0 20 0 1 0 339925913 898969600 215151 33554432000 4194304 8395647 140733502408928 140733502404728 6085526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 219475 215151 475 1026 0 218445 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 877900

[startup+25.5003 s]
/proc/loadavg: 2.16 2.10 2.03 3/178 5358
/proc/meminfo: memFree=26174736/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=932784 CPUtime=25.49 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 228731 0 0 0 2516 33 0 0 20 0 1 0 339925913 955170816 228215 33554432000 4194304 8395647 140733502408928 140733502405000 5031099 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 233196 228215 483 1026 0 232166 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 932784

[startup+51.1003 s]
/proc/loadavg: 2.16 2.10 2.03 3/178 5358
/proc/meminfo: memFree=26087640/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=984312 CPUtime=51.08 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 241305 0 0 0 5073 35 0 0 20 0 1 0 339925913 1007935488 240789 33554432000 4194304 8395647 140733502408928 140733502405000 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 246078 240789 483 1026 0 245048 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 984312

[startup+102.306 s]
/proc/loadavg: 2.14 2.10 2.03 3/177 5359
/proc/meminfo: memFree=25794928/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1135280 CPUtime=102.27 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 277745 0 0 0 10187 40 0 0 20 0 1 0 339925913 1162526720 277229 33554432000 4194304 8395647 140733502408928 140733502404792 5031099 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 283820 277229 483 1026 0 282790 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1135280

[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 5359
/proc/meminfo: memFree=25516576/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1309904 CPUtime=162.27 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 320113 0 0 0 16179 48 0 0 20 0 1 0 339925913 1341341696 319597 33554432000 4194304 8395647 140733502408928 140733502404792 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 327476 319597 483 1026 0 326446 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1309904

[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 5359
/proc/meminfo: memFree=25175108/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1526092 CPUtime=222.25 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 374095 0 0 0 22171 54 0 0 20 0 1 0 339925913 1562718208 373579 33554432000 4194304 8395647 140733502408928 140733502405000 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 381523 373579 483 1026 0 380493 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1526092

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 5359
/proc/meminfo: memFree=24899484/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1739400 CPUtime=282.24 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 427372 0 0 0 28162 62 0 0 20 0 1 0 339925913 1781145600 426856 33554432000 4194304 8395647 140733502408928 140733502404792 5026470 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 434850 426856 483 1026 0 433820 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1739400

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 5359
/proc/meminfo: memFree=24590132/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1951492 CPUtime=342.24 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 479717 0 0 0 34153 71 0 0 20 0 1 0 339925913 1998327808 479201 33554432000 4194304 8395647 140733502408928 140733502404792 4995169 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 487873 479201 483 1026 0 486843 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1951492

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 5360
/proc/meminfo: memFree=24379732/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=2111536 CPUtime=402.22 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 520214 0 0 0 40145 77 0 0 20 0 1 0 339925913 2162212864 519698 33554432000 4194304 8395647 140733502408928 140733502404792 6068933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 527884 519698 483 1026 0 526854 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2111536

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5360
/proc/meminfo: memFree=24086996/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=2326672 CPUtime=462.21 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 572820 0 0 0 46135 86 0 0 20 0 1 0 339925913 2382512128 572304 33554432000 4194304 8395647 140733502408928 140733502404792 5026706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 581668 572304 483 1026 0 580638 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2326672

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5360
/proc/meminfo: memFree=23819692/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=2560680 CPUtime=522.21 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 630975 0 0 0 52127 94 0 0 20 0 1 0 339925913 2622136320 630459 33554432000 4194304 8395647 140733502408928 140733502404792 6080391 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 640170 630459 483 1026 0 639140 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2560680

[startup+582.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 5360
/proc/meminfo: memFree=23621320/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=2690064 CPUtime=582.2 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 663731 0 0 0 58120 100 0 0 20 0 1 0 339925913 2754625536 663215 33554432000 4194304 8395647 140733502408928 140733502405000 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 672516 663215 483 1026 0 671486 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2690064

[startup+642.3 s]

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

/proc/meminfo: memFree=22587976/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3425420 CPUtime=1002.13 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 846763 0 0 0 100079 134 0 0 20 0 1 0 339925913 3507630080 846247 33554432000 4194304 8395647 140733502408928 140733502405000 5608631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 856355 846247 489 1026 0 855325 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3425420

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5365
/proc/meminfo: memFree=22465244/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3511876 CPUtime=1062.13 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 867661 0 0 0 106075 138 0 0 20 0 1 0 339925913 3596161024 867145 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 877969 867145 489 1026 0 876939 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3511876

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5365
/proc/meminfo: memFree=22349828/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3591632 CPUtime=1122.12 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 887762 0 0 0 112069 143 0 0 20 0 1 0 339925913 3677831168 887246 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 897908 887246 489 1026 0 896878 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3591632

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5365
/proc/meminfo: memFree=22247308/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3659580 CPUtime=1182.11 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 904533 0 0 0 118065 146 0 0 20 0 1 0 339925913 3747409920 904017 33554432000 4194304 8395647 140733502408928 140733502405000 5031091 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 914895 904017 489 1026 0 913865 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3659580

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5368
/proc/meminfo: memFree=22115764/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3753920 CPUtime=1242.1 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 928243 0 0 0 124060 150 0 0 20 0 1 0 339925913 3844014080 927727 33554432000 4194304 8395647 140733502408928 140733502404792 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 938480 927727 489 1026 0 937450 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3753920

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5391
/proc/meminfo: memFree=21799640/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3830680 CPUtime=1302.1 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 946954 0 0 0 130056 154 0 0 20 0 1 0 339925913 3922616320 946438 33554432000 4194304 8395647 140733502408928 140733502404792 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 957670 946438 489 1026 0 956640 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3830680

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5391
/proc/meminfo: memFree=21711012/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3911516 CPUtime=1362.09 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 966379 0 0 0 136051 158 0 0 20 0 1 0 339925913 4005392384 965863 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 977879 965863 489 1026 0 976849 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3911516

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5391
/proc/meminfo: memFree=21632544/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=3982600 CPUtime=1422.08 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 984252 0 0 0 142046 162 0 0 20 0 1 0 339925913 4078182400 983736 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 995650 983736 489 1026 0 994620 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3982600

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21557984/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4046276 CPUtime=1482.07 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1000210 0 0 0 148041 166 0 0 20 0 1 0 339925913 4143386624 999694 33554432000 4194304 8395647 140733502408928 140733502405000 5026474 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1011569 999694 489 1026 0 1010539 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 4046276

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21496444/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4101336 CPUtime=1542.06 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1014010 0 0 0 154038 168 0 0 20 0 1 0 339925913 4199768064 1013494 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1025334 1013494 489 1026 0 1024304 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4101336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5429
/proc/meminfo: memFree=23453132/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4168196 CPUtime=1602.02 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1030900 0 0 0 160031 171 0 0 20 0 1 0 339925913 4268232704 1030451 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1042049 1030451 489 1026 0 1041019 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 4168196

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=23232184/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4246152 CPUtime=1661.97 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1050463 0 0 0 166024 173 0 0 20 0 1 0 339925913 4348059648 1049979 33554432000 4194304 8395647 140733502408928 140733502405000 6080701 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1061538 1049979 489 1026 0 1060508 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 4246152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=23042120/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4339444 CPUtime=1721.96 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1073427 0 0 0 172019 177 0 0 20 0 1 0 339925913 4443590656 1073216 33554432000 4194304 8395647 140733502408928 140733502405000 5031193 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1084861 1073216 489 1026 0 1083831 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 4339444

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=22866316/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4420512 CPUtime=1781.95 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1093349 0 0 0 178014 181 0 0 20 0 1 0 339925913 4526604288 1093138 33554432000 4194304 8395647 140733502408928 140733502404792 4714753 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1105128 1093138 489 1026 0 1104098 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4420512

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=22855032/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4422548 CPUtime=1785.15 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1094012 0 0 0 178334 181 0 0 20 0 1 0 339925913 4528689152 1093801 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1105637 1093801 489 1026 0 1104607 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 4422548

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=22849560/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4424588 CPUtime=1788.35 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1094727 0 0 0 178654 181 0 0 20 0 1 0 339925913 4530778112 1094516 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1106147 1094516 489 1026 0 1105117 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 4424588

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=22849560/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4425572 CPUtime=1789.14 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1095151 0 0 0 178733 181 0 0 20 0 1 0 339925913 4531785728 1094940 33554432000 4194304 8395647 140733502408928 140733502405000 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1106393 1094940 489 1026 0 1105363 0
Current children cumulated CPU time (s) 1789.14
Current children cumulated vsize (KiB) 4425572

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=22846584/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=4428248 CPUtime=1789.94 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1096333 0 0 0 178813 181 0 0 20 0 1 0 339925913 4534525952 1095621 33554432000 4194304 8395647 140733502408928 140733502405000 4713442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 1107062 1095621 496 1026 0 1106032 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 4428248

[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5430
/proc/meminfo: memFree=26707116/32873844 swapFree=7112/7112
[pid=5357] ppid=5355 vsize=1590964 CPUtime=1790.35 cores=0,2,4,6
/proc/5357/stat : 5357 (pbscip.linux.x8) R 5355 5357 2459 0 -1 4202496 1096341 0 0 0 178830 205 0 0 20 0 1 0 339925913 1629147136 106206 33554432000 4194304 8395647 140733502408928 140733502408248 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5357/statm: 397741 106206 504 1026 0 396711 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1590964

Child status: 0
Real time (s): 1790.73
CPU time (s): 1790.38
CPU user time (s): 1788.31
CPU system time (s): 2.07668
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 4430440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.31
system time used= 2.07668
maximum resident set size= 4384488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1096350
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= 81
involuntary context switches= 1906

runsolver used 2.90356 second user time and 13.46 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 17:40:02
IDJOB=3740436
IDBENCH=77395
IDSOLVER=2326
FILE ID=node119/3740436-1338738002
RUNJOBID= node119-1338714114-2475
PBS_JOBID= 14636753
Free space on /tmp= 70876 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12044_8.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740436-1338738002/watcher-3740436-1338738002 -o /tmp/evaluation-result-3740436-1338738002/solver-3740436-1338738002 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740436-1338738002.opb -t 1800 -m 15500

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

MD5SUM BENCH= 4696f28c33c3f125d6253e0b5378b0b9
RANDOM SEED=806718931

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27124336 kB
Buffers:          408524 kB
Cached:          3071676 kB
SwapCached:         1936 kB
Active:          2939556 kB
Inactive:        1977776 kB
Active(anon):    1432400 kB
Inactive(anon):     6624 kB
Active(file):    1507156 kB
Inactive(file):  1971152 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:             17504 kB
Writeback:             0 kB
AnonPages:       1441932 kB
Mapped:            13756 kB
Shmem:                 0 kB
Slab:             690600 kB
SReclaimable:     132728 kB
SUnreclaim:       557872 kB
KernelStack:        1472 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1585492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70864 MiB
End job on node119 at 2012-06-03 18:09:53