Trace number 3741336

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1799.98 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-631710.opb
MD5SUMba0215d19182fa8cb27dee737825dd09
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark205
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169576
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1965
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
Number of terms in the objective function 556
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 556
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

1.49/1.59	c SCIP version 1.1.0.7
1.49/1.59	c LP-Solver SoPlex 1.4.1
1.49/1.59	c user parameter file <scip.set> not found - using default parameters
1.49/1.59	c read problem <HOME/instance-3741336-1338771081.opb>
1.49/1.59	c original problem has 167056 variables (167056 bin, 0 int, 0 impl, 0 cont) and 169576 constraints
2.29/2.33	c start presolving problem
2.29/2.33	c presolving:
5.09/5.15	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 169576 upgd conss, 387060 impls, 1965 clqs
1799.07/1799.50	c    (1796.6s) probing: 303/167056 (0.2%) - 4 fixings, 0 aggregations, 20905767 implications, 0 bound changes
1799.07/1799.50	c    (1796.6s) probing aborted: solving stopped
1799.17/1799.55	c presolving (2 rounds):
1799.17/1799.55	c  4 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 380 changed coefficients
1799.17/1799.55	c  42366788 implications, 59115 cliques
1799.17/1799.55	c presolved problem has 167052 variables (167052 bin, 0 int, 0 impl, 0 cont) and 169579 constraints
1799.17/1799.55	c     556 constraints of type <knapsack>
1799.17/1799.55	c    1968 constraints of type <setppc>
1799.17/1799.55	c  167055 constraints of type <logicor>
1799.17/1799.55	c transformed objective value is always integral (scale: 1)
1799.17/1799.55	c Presolving Time: 1796.24
1799.17/1799.57	c OPT-LIN
1799.17/1799.57	c -----------------------------------------------------------------------------------------------
1799.17/1799.57	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1799.17/1799.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.17/1799.57	c limits/memory = c 13950
1799.17/1799.57	c # maximal time in seconds to run
1799.17/1799.57	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1799.17/1799.57	c limits/time = c 1791
1799.17/1799.57	c # frequency for displaying node information lines
1799.17/1799.57	c # [type: int, range: [-1,2147483647], default: 100]
1799.17/1799.57	c display/freq = c 10000
1799.17/1799.57	c -----------------------------------------------------------------------------------------------
1799.17/1799.57	c start solving problem
1799.17/1799.57	c 
1799.17/1799.57	c 
1799.17/1799.57	c SCIP Status        : solving was interrupted [time limit reached]
1799.17/1799.57	c Solving Time (sec) : 1796.70
1799.17/1799.57	c Solving Nodes      : 0
1799.17/1799.57	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.17/1799.57	c Dual Bound         : -1.00000000000000e+20
1799.17/1799.57	c Gap                : infinite
1799.17/1799.57	c NODE         0
1799.17/1799.57	c DUAL BOUND   -1e+20
1799.17/1799.57	c PRIMAL BOUND 1e+20
1799.17/1799.57	c GAP          1e+20
1799.17/1799.57	s UNKNOWN
1799.17/1799.57	c SCIP Status        : solving was interrupted [time limit reached]
1799.17/1799.57	c Solving Time       :    1796.70
1799.17/1799.57	c Original Problem   :
1799.17/1799.57	c   Problem name     : HOME/instance-3741336-1338771081.opb
1799.17/1799.57	c   Variables        : 167056 (167056 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.17/1799.57	c   Constraints      : 169576 initial, 169576 maximal
1799.17/1799.57	c Presolved Problem  :
1799.17/1799.57	c   Problem name     : t_HOME/instance-3741336-1338771081.opb
1799.17/1799.57	c   Variables        : 167052 (167052 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.17/1799.57	c   Constraints      : 169579 initial, 169579 maximal
1799.17/1799.57	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1799.17/1799.57	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1799.17/1799.57	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1799.17/1799.57	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1799.17/1799.57	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1799.17/1799.57	c   implics          :       0.03          0          0          0          0          0          0          0          0
1799.17/1799.57	c   probing          :    1788.66          4          0          0          0          0          0          0          0
1799.17/1799.57	c   knapsack         :       3.97          0          0          0          0          0          0          3        380
1799.17/1799.57	c   setppc           :       0.15          0          0          0          0          0          0          0          0
1799.17/1799.57	c   logicor          :       0.27          0          0          0          0          0          0          0          0
1799.17/1799.57	c   root node        :          -          0          -          -          0          -          -          -          -
1799.17/1799.57	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1799.17/1799.57	c   integral         :          0          0          0          0          0          0          0          0          0          0
1799.17/1799.57	c   knapsack         :        556          0      44012          0          0          0          0          0          0          0
1799.17/1799.57	c   setppc           :       1968          0      44012          0          0          2          0          0          0          0
1799.17/1799.57	c   logicor          :     167055          0      43704          0          0          0          0          0          0          0
1799.17/1799.57	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1799.17/1799.57	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1799.17/1799.57	c   integral         :       0.00       0.00       0.00       0.00       0.00
1799.17/1799.57	c   knapsack         :      23.63       0.00      23.63       0.00       0.00
1799.17/1799.57	c   setppc           :       0.91       0.00       0.91       0.00       0.00
1799.17/1799.57	c   logicor          :      14.88       0.00      14.88       0.00       0.00
1799.17/1799.57	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1799.17/1799.57	c Propagators        :       Time      Calls    Cutoffs    DomReds
1799.17/1799.57	c   rootredcost      :       0.00          0          0          0
1799.17/1799.57	c   pseudoobj        :       0.01          0          0          0
1799.17/1799.57	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.17/1799.57	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1799.17/1799.57	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1799.17/1799.57	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.17/1799.57	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.17/1799.57	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.17/1799.57	c   applied globally :          -          -          -          0        0.0          -          -          -
1799.17/1799.57	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.17/1799.57	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.17/1799.57	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1799.17/1799.57	c   redcost          :       0.00          0          0          0          0          0
1799.17/1799.57	c   impliedbounds    :       0.00          0          0          0          0          0
1799.17/1799.57	c   intobj           :       0.00          0          0          0          0          0
1799.17/1799.57	c   gomory           :       0.00          0          0          0          0          0
1799.17/1799.57	c   strongcg         :       0.00          0          0          0          0          0
1799.17/1799.57	c   cmir             :       0.00          0          0          0          0          0
1799.17/1799.57	c   flowcover        :       0.00          0          0          0          0          0
1799.17/1799.57	c   clique           :       0.00          0          0          0          0          0
1799.17/1799.57	c   zerohalf         :       0.00          0          0          0          0          0
1799.17/1799.57	c   mcf              :       0.00          0          0          0          0          0
1799.17/1799.57	c Pricers            :       Time      Calls       Vars
1799.17/1799.57	c   problem variables:       0.00          0          0
1799.17/1799.57	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.17/1799.57	c   pscost           :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   inference        :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   mostinf          :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   leastinf         :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   random           :       0.00          0          0          0          0          0          0
1799.17/1799.57	c   relpscost        :       0.00          0          0          0          0          0          0
1799.17/1799.57	c Primal Heuristics  :       Time      Calls      Found
1799.17/1799.57	c   LP solutions     :       0.00          -          0
1799.17/1799.57	c   pseudo solutions :       0.00          -          0
1799.17/1799.57	c   simplerounding   :       0.00          0          0
1799.17/1799.57	c   rounding         :       0.00          0          0
1799.17/1799.57	c   shifting         :       0.00          0          0
1799.17/1799.57	c   intshifting      :       0.00          0          0
1799.17/1799.57	c   oneopt           :       0.00          0          0
1799.17/1799.57	c   fixandinfer      :       0.00          0          0
1799.17/1799.57	c   feaspump         :       0.00          0          0
1799.17/1799.57	c   coefdiving       :       0.00          0          0
1799.17/1799.57	c   pscostdiving     :       0.00          0          0
1799.17/1799.57	c   fracdiving       :       0.00          0          0
1799.17/1799.57	c   veclendiving     :       0.00          0          0
1799.17/1799.57	c   intdiving        :       0.00          0          0
1799.17/1799.57	c   actconsdiving    :       0.00          0          0
1799.17/1799.57	c   objpscostdiving  :       0.00          0          0
1799.17/1799.57	c   rootsoldiving    :       0.00          0          0
1799.17/1799.57	c   linesearchdiving :       0.00          0          0
1799.17/1799.57	c   guideddiving     :       0.00          0          0
1799.17/1799.57	c   octane           :       0.00          0          0
1799.17/1799.57	c   rens             :       0.00          0          0
1799.17/1799.57	c   rins             :       0.00          0          0
1799.17/1799.57	c   localbranching   :       0.00          0          0
1799.17/1799.57	c   mutation         :       0.00          0          0
1799.17/1799.57	c   crossover        :       0.00          0          0
1799.17/1799.57	c   dins             :       0.00          0          0
1799.17/1799.57	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.17/1799.57	c   primal LP        :       0.00          0          0       0.00          -
1799.17/1799.57	c   dual LP          :       0.00          0          0       0.00          -
1799.17/1799.57	c   barrier LP       :       0.00          0          0       0.00          -
1799.17/1799.57	c   diving/probing LP:       0.00          0          0       0.00          -
1799.17/1799.57	c   strong branching :       0.00          0          0       0.00          -
1799.17/1799.57	c     (at root node) :          -          0          0       0.00          -
1799.17/1799.57	c   conflict analysis:       0.00          0          0       0.00          -
1799.17/1799.57	c B&B Tree           :
1799.17/1799.57	c   number of runs   :          1
1799.17/1799.57	c   nodes            :          0
1799.17/1799.57	c   nodes (total)    :          0
1799.17/1799.57	c   nodes left       :          1
1799.17/1799.57	c   max depth        :         -1
1799.17/1799.57	c   max depth (total):         -1
1799.17/1799.57	c   backtracks       :          0 (0.0%)
1799.17/1799.57	c   delayed cutoffs  :          0
1799.17/1799.57	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1799.17/1799.57	c   avg switch length:       0.00
1799.17/1799.57	c   switching time   :       0.00
1799.17/1799.57	c Solution           :
1799.17/1799.57	c   Solutions found  :          0 (0 improvements)
1799.17/1799.57	c   Primal Bound     :          -
1799.17/1799.57	c   Dual Bound       :          -
1799.17/1799.57	c   Gap              :   infinite
1799.17/1799.57	c   Root Dual Bound  :          -
1799.97/1800.30	c Time complete: 1799.97.

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

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.00 2.00 2.00 3/176 4033
/proc/meminfo: memFree=29571360/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=8948 CPUtime=0 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 1546 0 0 0 0 0 0 0 20 0 1 0 343236701 9162752 1499 33554432000 4194304 7823515 140735053225984 140735439006344 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 2237 1510 349 887 0 1347 0

[startup+0.0254591 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4033
/proc/meminfo: memFree=29571360/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=17944 CPUtime=0.01 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 3831 0 0 0 1 0 0 0 20 0 1 0 343236701 18374656 3783 33554432000 4194304 7823515 140735053225984 140735439006344 6722682 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 4486 3783 354 887 0 3596 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17944

[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4033
/proc/meminfo: memFree=29571360/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=50712 CPUtime=0.09 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 12021 0 0 0 8 1 0 0 20 0 1 0 343236701 51929088 11973 33554432000 4194304 7823515 140735053225984 140735439006344 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 12678 11973 354 887 0 11788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50712

[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4033
/proc/meminfo: memFree=29571360/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=124628 CPUtime=0.29 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 30459 0 0 0 25 4 0 0 20 0 1 0 343236701 127619072 30411 33554432000 4194304 7823515 140735053225984 140735053090584 6805523 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 31157 30411 354 887 0 30267 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 124628

[startup+0.700213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4033
/proc/meminfo: memFree=29571360/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=146880 CPUtime=0.69 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 36012 0 0 0 63 6 0 0 20 0 1 0 343236701 150405120 35964 33554432000 4194304 7823515 140735053225984 140735053092088 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 36720 35964 354 887 0 35830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146880

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=29411136/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=184584 CPUtime=1.49 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 45380 0 0 0 142 7 0 0 20 0 1 0 343236701 189014016 45332 33554432000 4194304 7823515 140735053225984 140735053092088 6830534 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 46146 45332 354 887 0 45256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184584

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=29101604/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=509064 CPUtime=3.09 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 126274 0 0 0 284 25 0 0 20 0 1 0 343236701 521281536 125872 33554432000 4194304 7823515 140735053225984 140735053222920 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 127266 125872 419 887 0 126376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509064

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28841068/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=724032 CPUtime=6.29 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 177183 0 0 0 588 41 0 0 20 0 1 0 343236701 741408768 179422 33554432000 4194304 7823515 140735053225984 140735053223272 6908067 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4033/statm: 181008 179422 436 887 0 180118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 724032

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28611280/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=950604 CPUtime=12.68 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 224759 0 0 0 1218 50 0 0 20 0 1 0 343236701 973418496 235165 33554432000 4194304 7823515 140735053225984 140735053222040 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 237651 235165 454 887 0 236761 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 950604

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28599012/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=963844 CPUtime=25.49 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 227607 0 0 0 2498 51 0 0 20 0 1 0 343236701 986976256 238013 33554432000 4194304 7823515 140735053225984 140735053222040 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 240961 238013 454 887 0 240071 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 963844

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28581032/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=983432 CPUtime=51.07 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 232078 0 0 0 5056 51 0 0 20 0 1 0 343236701 1007034368 242484 33554432000 4194304 7823515 140735053225984 140735053222040 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 245858 242484 454 887 0 244968 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 983432

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28526960/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1041884 CPUtime=102.28 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 243425 0 0 0 10175 53 0 0 20 0 1 0 343236701 1066889216 255875 33554432000 4194304 7823515 140735053225984 140735053222040 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 260471 255875 457 887 0 259581 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1041884

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28501416/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1069652 CPUtime=162.26 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 249870 0 0 0 16172 54 0 0 20 0 1 0 343236701 1095323648 262320 33554432000 4194304 7823515 140735053225984 140735053222680 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 267413 262320 457 887 0 266523 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1069652

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4034
/proc/meminfo: memFree=28469300/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1103096 CPUtime=222.25 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 257891 0 0 0 22170 55 0 0 20 0 1 0 343236701 1129570304 270341 33554432000 4194304 7823515 140735053225984 140735053222040 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 275774 270341 457 887 0 274884 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1103096

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4035
/proc/meminfo: memFree=28444872/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1129452 CPUtime=282.24 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 263954 0 0 0 28168 56 0 0 20 0 1 0 343236701 1156558848 276404 33554432000 4194304 7823515 140735053225984 140735053222680 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 282363 276404 457 887 0 281473 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1129452

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4074
/proc/meminfo: memFree=30177204/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1166952 CPUtime=342.23 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 272824 0 0 0 34165 58 0 0 20 0 1 0 343236701 1194958848 285344 33554432000 4194304 7823515 140735053225984 140735053222040 5803635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 291738 285344 457 887 0 290848 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1166952

[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 4074
/proc/meminfo: memFree=30133456/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1190176 CPUtime=402.21 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 278358 0 0 0 40163 58 0 0 20 0 1 0 343236701 1218740224 290872 33554432000 4194304 7823515 140735053225984 140735053222040 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 297544 290872 457 887 0 296654 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1190176

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4074
/proc/meminfo: memFree=30116000/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1207356 CPUtime=462.2 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 282653 0 0 0 46161 59 0 0 20 0 1 0 343236701 1236332544 295165 33554432000 4194304 7823515 140735053225984 140735053222040 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 301839 295165 457 887 0 300949 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1207356

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4077
/proc/meminfo: memFree=30071720/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1250608 CPUtime=522.18 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 293464 0 0 0 52158 60 0 0 20 0 1 0 343236701 1280622592 306221 33554432000 4194304 7823515 140735053225984 140735053222040 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 312652 306221 457 887 0 311762 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1250608

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4100
/proc/meminfo: memFree=30053000/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1269864 CPUtime=582.18 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 298218 0 0 0 58157 61 0 0 20 0 1 0 343236701 1300340736 310975 33554432000 4194304 7823515 140735053225984 140735053222040 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 317466 310975 457 887 0 316576 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1269864

[startup+642.3 s]

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

/proc/meminfo: memFree=29682900/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1621680 CPUtime=1062.09 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 384799 0 0 0 106131 78 0 0 20 0 1 0 343236701 1660600320 403316 33554432000 4194304 7823515 140735053225984 140735053222040 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 405420 403316 458 887 0 404530 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1621680

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4305
/proc/meminfo: memFree=29610524/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1691736 CPUtime=1122.07 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 402028 0 0 0 112126 81 0 0 20 0 1 0 343236701 1732337664 420979 33554432000 4194304 7823515 140735053225984 140735053222040 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 422934 420979 458 887 0 422044 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1691736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4306
/proc/meminfo: memFree=29522444/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1776072 CPUtime=1182.06 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 422964 0 0 0 118121 85 0 0 20 0 1 0 343236701 1818697728 442526 33554432000 4194304 7823515 140735053225984 140735053222040 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 444018 442526 458 887 0 443128 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1776072

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4306
/proc/meminfo: memFree=29468284/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1832228 CPUtime=1242.05 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 436174 0 0 0 124118 87 0 0 20 0 1 0 343236701 1876201472 456145 33554432000 4194304 7823515 140735053225984 140735053222680 5803643 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 458057 456145 458 887 0 457167 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1832228

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4306
/proc/meminfo: memFree=29377404/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1918188 CPUtime=1302.05 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 457762 0 0 0 130114 91 0 0 20 0 1 0 343236701 1964224512 478461 33554432000 4194304 7823515 140735053225984 140735053222040 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 479547 478461 458 887 0 478657 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1918188

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4306
/proc/meminfo: memFree=29343472/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=1952484 CPUtime=1362.04 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 466040 0 0 0 136112 92 0 0 20 0 1 0 343236701 1999343616 486932 33554432000 4194304 7823515 140735053225984 140735053222040 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 488121 486932 458 887 0 487231 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1952484

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4306
/proc/meminfo: memFree=29294692/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2000476 CPUtime=1422.04 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 477475 0 0 0 142110 94 0 0 20 0 1 0 343236701 2048487424 499152 33554432000 4194304 7823515 140735053225984 140735053222040 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 500119 499152 458 887 0 499229 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2000476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29273284/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2021012 CPUtime=1482.02 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 482766 0 0 0 148107 95 0 0 20 0 1 0 343236701 2069516288 504447 33554432000 4194304 7823515 140735053225984 140735053221848 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 505253 504447 458 887 0 504363 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 2021012

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29184016/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2107744 CPUtime=1542.01 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 503770 0 0 0 154103 98 0 0 20 0 1 0 343236701 2158329856 525451 33554432000 4194304 7823515 140735053225984 140735053222040 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 526936 525451 458 887 0 526046 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 2107744

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29141840/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2152248 CPUtime=1601.99 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 514235 0 0 0 160100 99 0 0 20 0 1 0 343236701 2203901952 535916 33554432000 4194304 7823515 140735053225984 140735053222040 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 538062 535916 458 887 0 537172 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2152248

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4307
/proc/meminfo: memFree=29100288/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2193360 CPUtime=1661.99 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 524386 0 0 0 166098 101 0 0 20 0 1 0 343236701 2246000640 546067 33554432000 4194304 7823515 140735053225984 140735053222040 5803600 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 548340 546067 458 887 0 547450 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2193360

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 4310
/proc/meminfo: memFree=29062552/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2232596 CPUtime=1721.98 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 533763 0 0 0 172096 102 0 0 20 0 1 0 343236701 2286178304 555444 33554432000 4194304 7823515 140735053225984 140735053222040 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 558149 555444 458 887 0 557259 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2232596

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4311
/proc/meminfo: memFree=29027128/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2268608 CPUtime=1781.97 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 542579 0 0 0 178094 103 0 0 20 0 1 0 343236701 2323054592 564260 33554432000 4194304 7823515 140735053225984 140735053222040 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 567152 564260 458 887 0 566262 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 2268608

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4311
/proc/meminfo: memFree=29019936/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2276076 CPUtime=1791.58 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 544405 0 0 0 179054 104 0 0 20 0 1 0 343236701 2330701824 566086 33554432000 4194304 7823515 140735053225984 140735053222040 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 569019 566086 458 887 0 568129 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 2276076

[startup+1795.1 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 4311
/proc/meminfo: memFree=29018820/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2277100 CPUtime=1794.78 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 544671 0 0 0 179374 104 0 0 20 0 1 0 343236701 2331750400 566352 33554432000 4194304 7823515 140735053225984 140735053222040 5803616 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 569275 566352 458 887 0 568385 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 2277100

[startup+1798.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 4311
/proc/meminfo: memFree=29018820/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2279300 CPUtime=1797.97 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 545175 0 0 0 179693 104 0 0 20 0 1 0 343236701 2334003200 566856 33554432000 4194304 7823515 140735053225984 140735053222040 5803627 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 569825 566856 458 887 0 568935 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 2279300

[startup+1799.1 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 4311
/proc/meminfo: memFree=29016960/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2279300 CPUtime=1798.77 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 545194 0 0 0 179773 104 0 0 20 0 1 0 343236701 2334003200 566875 33554432000 4194304 7823515 140735053225984 140735053222040 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 569825 566875 458 887 0 568935 0
Current children cumulated CPU time (s) 1798.77
Current children cumulated vsize (KiB) 2279300

[startup+1799.9 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 4311
/proc/meminfo: memFree=29016836/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=2284192 CPUtime=1799.57 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 545818 0 0 0 179853 104 0 0 20 0 1 0 343236701 2339012608 568140 33554432000 4194304 7823515 140735053225984 140735053221496 4813574 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 571048 568140 487 887 0 570158 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 2284192

[startup+1800.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 4311
/proc/meminfo: memFree=29016836/32873844 swapFree=7116/7116
[pid=4033] ppid=4031 vsize=27844 CPUtime=1799.97 cores=0,2,4,6
/proc/4033/stat : 4033 (pbscip.linux.x8) R 4031 4033 2584 0 -1 4202496 545822 0 0 0 179889 108 0 0 20 0 1 0 343236701 28512256 6264 33554432000 4194304 7823515 140735053225984 140735053221496 6962503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4033/statm: 6705 6264 491 887 0 5815 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 27844

Child status: 0
Real time (s): 1800.3
CPU time (s): 1799.98
CPU user time (s): 1798.89
CPU system time (s): 1.08783
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 2285716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.08783
maximum resident set size= 2274084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545825
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= 53
involuntary context switches= 2100

runsolver used 2.78458 second user time and 7.08992 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-04 02:51:21
IDJOB=3741336
IDBENCH=89840
IDSOLVER=2321
FILE ID=node103/3741336-1338771081
RUNJOBID= node103-1338749472-2600
PBS_JOBID= 14636802
Free space on /tmp= 71076 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-631710.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741336-1338771081/watcher-3741336-1338771081 -o /tmp/evaluation-result-3741336-1338771081/solver-3741336-1338771081 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741336-1338771081.opb

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

MD5SUM BENCH= ba0215d19182fa8cb27dee737825dd09
RANDOM SEED=1443328845

node103.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.189
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	: 5332.37
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.189
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.189
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.92
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.189
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.189
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.91
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.189
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	: 5411.36
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.189
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.91
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.189
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:        29571740 kB
Buffers:          197496 kB
Cached:           424700 kB
SwapCached:         5648 kB
Active:          2122236 kB
Inactive:         403400 kB
Active(anon):    1899272 kB
Inactive(anon):     6344 kB
Active(file):     222964 kB
Inactive(file):   397056 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             19036 kB
Writeback:             0 kB
AnonPages:       1908268 kB
Mapped:            11112 kB
Shmem:                 0 kB
Slab:             633872 kB
SReclaimable:      74276 kB
SUnreclaim:       559596 kB
KernelStack:        1448 kB
PageTables:         7764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2099156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1814528 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= 71100 MiB
End job on node103 at 2012-06-04 03:21:22