Trace number 1870547

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1798.06 1798.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
MD5SUMde244e44f140b74baa9d32bfcc24f10d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31508
Sum of products size (including duplicates)63016
Number of different products15754
Sum of products size31508

Solver Data 

0.09/0.19	c SCIP version 1.1.0.7
0.09/0.19	c LP-Solver Clp 1.8.2
0.09/0.19	c user parameter file <scip.set> not found - using default parameters
0.09/0.19	c read problem <HOME/instance-1870547-1245211078.opb>
0.09/0.19	c original problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17255 constraints
0.29/0.36	c start presolving problem
0.29/0.36	c presolving:
0.79/0.84	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 127032 impls, 1000 clqs
1.79/1.82	c    (1.4s) probing: 101/16754 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.82	c    (1.4s) probing aborted: 100/100 successive totally useless probings
1.79/1.82	c presolving (2 rounds):
1.79/1.82	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.82	c  127032 implications, 1000 cliques
1.79/1.82	c presolved problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17255 constraints
1.79/1.82	c    1000 constraints of type <setppc>
1.79/1.82	c   15754 constraints of type <and>
1.79/1.82	c       1 constraints of type <linear>
1.79/1.82	c     500 constraints of type <logicor>
1.79/1.82	c transformed objective value is always integral (scale: 1)
1.79/1.82	c Presolving Time: 1.33
1.79/1.83	c OPT-NLC
1.79/1.83	c -----------------------------------------------------------------------------------------------
1.79/1.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.83	c limits/memory = c 1620
1.79/1.83	c # maximal time in seconds to run
1.79/1.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.83	c limits/time = c 1791
1.79/1.83	c # frequency for displaying node information lines
1.79/1.83	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.83	c display/freq = c 10000
1.79/1.83	c -----------------------------------------------------------------------------------------------
1.79/1.83	c start solving problem
1.79/1.83	c 
1797.67/1798.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.67/1798.39	c  1791s|     1 |     0 |141495 |  75M|   0 |   - |  16k|  17k|  17k|  16k|  33k|   0 |   0 |   0 |-5.000000e+02 |      --      |    Inf 
1797.78/1798.40	c  1791s|     1 |     2 |141495 |  75M|   0 |   - |  16k|  17k|  17k|  16k|  33k|   0 |   0 |   0 |-5.000000e+02 |      --      |    Inf 
1797.78/1798.40	c 
1797.78/1798.40	c SCIP Status        : solving was interrupted [time limit reached]
1797.78/1798.40	c Solving Time (sec) : 1791.03
1797.78/1798.40	c Solving Nodes      : 1
1797.78/1798.40	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.78/1798.40	c Dual Bound         : -5.00000000000000e+02
1797.78/1798.40	c Gap                : infinite
1797.78/1798.40	c NODE         1
1797.78/1798.40	c DUAL BOUND   -500
1797.78/1798.40	c PRIMAL BOUND 1e+20
1797.78/1798.40	c GAP          1e+20
1797.78/1798.40	s UNKNOWN
1797.78/1798.40	c SCIP Status        : solving was interrupted [time limit reached]
1797.78/1798.40	c Solving Time       :    1791.03
1797.78/1798.40	c Original Problem   :
1797.78/1798.40	c   Problem name     : HOME/instance-1870547-1245211078.opb
1797.78/1798.40	c   Variables        : 16754 (16754 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.78/1798.40	c   Constraints      : 17255 initial, 17255 maximal
1797.78/1798.40	c Presolved Problem  :
1797.78/1798.40	c   Problem name     : t_HOME/instance-1870547-1245211078.opb
1797.78/1798.40	c   Variables        : 16754 (16754 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.78/1798.40	c   Constraints      : 17255 initial, 17255 maximal
1797.78/1798.40	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.78/1798.40	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1797.78/1798.40	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.78/1798.40	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.78/1798.40	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.78/1798.40	c   implics          :       0.00          0          0          0          0          0          0          0          0
1797.78/1798.40	c   probing          :       0.67          0          0          0          0          0          0          0          0
1797.78/1798.40	c   setppc           :       0.02          0          0          0          0          0          0          0          0
1797.78/1798.40	c   and              :       0.41          0          0          0          0          0          0          0          0
1797.78/1798.40	c   linear           :       0.12          0          0          0          0          0          0          0          0
1797.78/1798.40	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1797.78/1798.40	c   root node        :          -          0          -          -          0          -          -          -          -
1797.78/1798.40	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.78/1798.40	c   integral         :          0          0          0          0          0          0          0          0          0          0
1797.78/1798.40	c   setppc           :       1000          0        201          0          1          0          0          0          0          0
1797.78/1798.40	c   and              :      15754          0        201          0          1          0          0          0          0          0
1797.78/1798.40	c   linear           :          1          0        201          0          1          0          0          0          0          0
1797.78/1798.40	c   logicor          :        500          0        201          0          1          0          0          0          0          0
1797.78/1798.40	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1797.78/1798.40	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.78/1798.40	c   integral         :       0.00       0.00       0.00       0.00       0.00
1797.78/1798.40	c   setppc           :       0.03       0.00       0.02       0.00       0.01
1797.78/1798.40	c   and              :       0.15       0.00       0.15       0.00       0.00
1797.78/1798.40	c   linear           :       0.05       0.00       0.05       0.00       0.00
1797.78/1798.40	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1797.78/1798.40	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.78/1798.40	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.78/1798.40	c   rootredcost      :       0.00          0          0          0
1797.78/1798.40	c   pseudoobj        :       0.00          1          0          0
1797.78/1798.40	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.78/1798.40	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.78/1798.40	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.78/1798.40	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.78/1798.40	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.78/1798.40	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.78/1798.40	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.78/1798.40	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.78/1798.40	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.78/1798.40	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1797.78/1798.40	c   redcost          :       0.00          0          0          0          0          0
1797.78/1798.40	c   impliedbounds    :       0.00          0          0          0          0          0
1797.78/1798.40	c   intobj           :       0.00          0          0          0          0          0
1797.78/1798.40	c   gomory           :       0.00          0          0          0          0          0
1797.78/1798.40	c   strongcg         :       0.00          0          0          0          0          0
1797.78/1798.40	c   cmir             :       0.00          0          0          0          0          0
1797.78/1798.40	c   flowcover        :       0.00          0          0          0          0          0
1797.78/1798.40	c   clique           :       0.00          0          0          0          0          0
1797.78/1798.40	c   zerohalf         :       0.00          0          0          0          0          0
1797.78/1798.40	c   mcf              :       0.00          0          0          0          0          0
1797.78/1798.40	c Pricers            :       Time      Calls       Vars
1797.78/1798.40	c   problem variables:       0.00          0          0
1797.78/1798.40	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.78/1798.40	c   relpscost        :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   pscost           :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   inference        :       0.01          1          0          0          0          0          2
1797.78/1798.40	c   mostinf          :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   leastinf         :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.78/1798.40	c   random           :       0.00          0          0          0          0          0          0
1797.78/1798.40	c Primal Heuristics  :       Time      Calls      Found
1797.78/1798.40	c   LP solutions     :       0.00          -          0
1797.78/1798.40	c   pseudo solutions :       0.00          -          0
1797.78/1798.40	c   oneopt           :       0.00          0          0
1797.78/1798.40	c   simplerounding   :       0.00          0          0
1797.78/1798.40	c   rounding         :       0.00          0          0
1797.78/1798.40	c   shifting         :       0.00          0          0
1797.78/1798.40	c   intshifting      :       0.00          0          0
1797.78/1798.40	c   fixandinfer      :       0.00          0          0
1797.78/1798.40	c   feaspump         :       0.00          0          0
1797.78/1798.40	c   coefdiving       :       0.00          0          0
1797.78/1798.40	c   pscostdiving     :       0.00          0          0
1797.78/1798.40	c   fracdiving       :       0.00          0          0
1797.78/1798.40	c   veclendiving     :       0.00          0          0
1797.78/1798.40	c   intdiving        :       0.00          0          0
1797.78/1798.40	c   actconsdiving    :       0.00          0          0
1797.78/1798.40	c   objpscostdiving  :       0.00          0          0
1797.78/1798.40	c   rootsoldiving    :       0.00          0          0
1797.78/1798.40	c   linesearchdiving :       0.00          0          0
1797.78/1798.40	c   guideddiving     :       0.00          0          0
1797.78/1798.40	c   octane           :       0.00          0          0
1797.78/1798.40	c   rens             :       0.00          0          0
1797.78/1798.40	c   rins             :       0.00          0          0
1797.78/1798.40	c   localbranching   :       0.00          0          0
1797.78/1798.40	c   mutation         :       0.00          0          0
1797.78/1798.40	c   crossover        :       0.00          0          0
1797.78/1798.40	c   dins             :       0.00          0          0
1797.78/1798.40	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.78/1798.40	c   primal LP        :       0.00          0          0       0.00          -
1797.78/1798.40	c   dual LP          :    1789.38          1     141495  141495.00      79.07
1797.78/1798.40	c   barrier LP       :       0.00          0          0       0.00          -
1797.78/1798.40	c   diving/probing LP:       0.00          0          0       0.00          -
1797.78/1798.40	c   strong branching :       0.00          0          0       0.00          -
1797.78/1798.40	c     (at root node) :          -          0          0       0.00          -
1797.78/1798.40	c   conflict analysis:       0.00          0          0       0.00          -
1797.78/1798.40	c B&B Tree           :
1797.78/1798.40	c   number of runs   :          1
1797.78/1798.40	c   nodes            :          1
1797.78/1798.40	c   nodes (total)    :          1
1797.78/1798.40	c   nodes left       :          2
1797.78/1798.40	c   max depth        :          0
1797.78/1798.40	c   max depth (total):          0
1797.78/1798.40	c   backtracks       :          0 (0.0%)
1797.78/1798.40	c   delayed cutoffs  :          0
1797.78/1798.40	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.78/1798.40	c   avg switch length:       1.00
1797.78/1798.40	c   switching time   :       0.00
1797.78/1798.40	c Solution           :
1797.78/1798.40	c   Solutions found  :          0 (0 improvements)
1797.78/1798.40	c   Primal Bound     :          -
1797.78/1798.40	c   Dual Bound       : -5.00000000000000e+02
1797.78/1798.40	c   Gap              :   infinite
1797.78/1798.40	c   Root Dual Bound  : -5.00000000000000e+02
1797.97/1798.67	c Time complete: 1798.05.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870547-1245211078/watcher-1870547-1245211078 -o /tmp/evaluation-result-1870547-1245211078/solver-1870547-1245211078 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870547-1245211078.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7353
/proc/meminfo: memFree=1664472/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=5812 CPUtime=0
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 529 0 0 0 0 0 0 0 18 0 1 0 188704218 5951488 513 1992294400 4194304 9342243 548682068736 18446744073709551615 8194560 0 0 4096 0 0 0 0 17 1 0 0
/proc/7353/statm: 1454 520 348 1256 0 193 0

[startup+0.0965759 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7353
/proc/meminfo: memFree=1664472/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=23504 CPUtime=0.09
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 4857 0 0 0 8 1 0 0 18 0 1 0 188704218 24068096 4841 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/7353/statm: 5876 4841 378 1256 0 4615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23504

[startup+0.101576 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7353
/proc/meminfo: memFree=1664472/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=23720 CPUtime=0.09
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 4914 0 0 0 8 1 0 0 18 0 1 0 188704218 24289280 4898 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7353/statm: 5930 4898 378 1256 0 4669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23720

[startup+0.301613 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7353
/proc/meminfo: memFree=1664472/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=52980 CPUtime=0.29
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 12602 0 0 0 25 4 0 0 19 0 1 0 188704218 54251520 12232 1992294400 4194304 9342243 548682068736 18446744073709551615 4240299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 13245 12232 416 1256 0 11984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52980

[startup+0.701688 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 7353
/proc/meminfo: memFree=1664472/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=62112 CPUtime=0.69
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 14666 0 0 0 56 13 0 0 22 0 1 0 188704218 63602688 14296 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 15528 14296 464 1256 0 14267 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62112

[startup+1.50184 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1601744/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=69296 CPUtime=1.49
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 16653 0 0 0 126 23 0 0 25 0 1 0 188704218 70959104 16178 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 17324 16178 493 1256 0 16063 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69296

[startup+3.10114 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1552208/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=139824 CPUtime=3.09
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 31898 0 0 0 280 29 0 0 25 0 1 0 188704218 143179776 30333 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 34956 30333 618 1256 0 33695 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139824

[startup+6.30173 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1544080/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=144900 CPUtime=6.29
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 35852 0 0 0 597 32 0 0 25 0 1 0 188704218 148377600 30439 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 36225 30439 620 1256 0 34964 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144900

[startup+12.7019 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1543400/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=147340 CPUtime=12.69
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 40900 0 0 0 1234 35 0 0 25 0 1 0 188704218 150876160 31189 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 36835 31189 620 1256 0 35574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 147340

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1544936/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=148664 CPUtime=25.48
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 48494 0 0 0 2508 40 0 0 25 0 1 0 188704218 152231936 30432 1992294400 4194304 9342243 548682068736 18446744073709551615 6962263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 37166 30432 620 1256 0 35905 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 148664

[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1544424/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=149388 CPUtime=51.07
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 61330 0 0 0 5057 50 0 0 25 0 1 0 188704218 152973312 30672 1992294400 4194304 9342243 548682068736 18446744073709551615 6964311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 37347 30672 620 1256 0 36086 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149388

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1543848/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=150260 CPUtime=102.26
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 86911 0 0 0 10154 72 0 0 25 0 1 0 188704218 153866240 30706 1992294400 4194304 9342243 548682068736 18446744073709551615 6962045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 37565 30706 629 1256 0 36304 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150260

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7354
/proc/meminfo: memFree=1541288/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=150972 CPUtime=162.23
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 116171 0 0 0 16128 95 0 0 25 0 1 0 188704218 154595328 30655 1992294400 4194304 9342243 548682068736 18446744073709551615 6960734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 37743 30655 629 1256 0 36482 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 150972

[startup+222.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 7360
/proc/meminfo: memFree=1539816/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=151772 CPUtime=222.2
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 145220 0 0 0 22103 117 0 0 25 0 1 0 188704218 155414528 30797 1992294400 4194304 9342243 548682068736 18446744073709551615 6978220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 37943 30797 629 1256 0 36682 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 151772

[startup+282.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/65 7360
/proc/meminfo: memFree=1539816/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152024 CPUtime=282.19
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 172739 0 0 0 28082 137 0 0 25 0 1 0 188704218 155672576 31743 1992294400 4194304 9342243 548682068736 18446744073709551615 6938547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38006 31743 629 1256 0 36745 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 152024

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 7360
/proc/meminfo: memFree=1541544/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152228 CPUtime=342.17
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 202267 0 0 0 34059 158 0 0 25 0 1 0 188704218 155881472 31333 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38057 31333 629 1256 0 36796 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 152228

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 7360
/proc/meminfo: memFree=1542632/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152364 CPUtime=402.15
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 231593 0 0 0 40037 178 0 0 25 0 1 0 188704218 156020736 31124 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38091 31124 629 1256 0 36830 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 152364

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 7360
/proc/meminfo: memFree=1540904/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152556 CPUtime=462.13
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 260222 0 0 0 46015 198 0 0 25 0 1 0 188704218 156217344 31490 1992294400 4194304 9342243 548682068736 18446744073709551615 6364836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38139 31490 629 1256 0 36878 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 152556

[startup+522.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538536/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152616 CPUtime=522.1
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 289432 0 0 0 51993 217 0 0 25 0 1 0 188704218 156278784 32075 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38154 32075 629 1256 0 36893 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 152616

[startup+582.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 7360
/proc/meminfo: memFree=1540968/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152800 CPUtime=582.08
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 321009 0 0 0 57972 236 0 0 25 0 1 0 188704218 156467200 31498 1992294400 4194304 9342243 548682068736 18446744073709551615 6962261 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38200 31498 629 1256 0 36939 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 152800

[startup+642.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 7360
/proc/meminfo: memFree=1540008/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152760 CPUtime=642.07
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 351116 0 0 0 63951 256 0 0 25 0 1 0 188704218 156426240 31605 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38190 31605 629 1256 0 36929 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 152760

[startup+702.302 s]

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

/proc/meminfo: memFree=1537384/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152868 CPUtime=1121.9
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 597996 0 0 0 111768 422 0 0 25 0 1 0 188704218 156536832 32287 1992294400 4194304 9342243 548682068736 18446744073709551615 5868839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38217 32287 629 1256 0 36956 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 152868

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7360
/proc/meminfo: memFree=1536936/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152964 CPUtime=1181.89
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 630521 0 0 0 117744 445 0 0 25 0 1 0 188704218 156635136 31486 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38241 31486 630 1256 0 36980 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 152964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7360
/proc/meminfo: memFree=1535016/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152876 CPUtime=1241.86
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 662047 0 0 0 123720 466 0 0 25 0 1 0 188704218 156545024 31477 1992294400 4194304 9342243 548682068736 18446744073709551615 7534372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38219 31477 630 1256 0 36958 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 152876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7360
/proc/meminfo: memFree=1539816/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=153056 CPUtime=1301.85
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 693338 0 0 0 129699 486 0 0 25 0 1 0 188704218 156729344 31634 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38264 31634 630 1256 0 37003 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 153056

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7360
/proc/meminfo: memFree=1540456/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152916 CPUtime=1361.82
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 724249 0 0 0 135674 508 0 0 25 0 1 0 188704218 156585984 31603 1992294400 4194304 9342243 548682068736 18446744073709551615 6363967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38229 31603 630 1256 0 36968 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 152916

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1536552/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152908 CPUtime=1421.8
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 755599 0 0 0 141652 528 0 0 25 0 1 0 188704218 156577792 32718 1992294400 4194304 9342243 548682068736 18446744073709551615 6965923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38227 32718 630 1256 0 36966 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 152908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1540008/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152728 CPUtime=1481.78
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 786492 0 0 0 147630 548 0 0 25 0 1 0 188704218 156393472 31895 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38182 31895 630 1256 0 36921 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 152728

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538664/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152860 CPUtime=1541.76
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 816661 0 0 0 153610 566 0 0 25 0 1 0 188704218 156528640 31957 1992294400 4194304 9342243 548682068736 18446744073709551615 6962376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38215 31957 630 1256 0 36954 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 152860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1540136/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152996 CPUtime=1601.74
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 852235 0 0 0 159585 589 0 0 25 0 1 0 188704218 156667904 31653 1992294400 4194304 9342243 548682068736 18446744073709551615 6962165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38249 31653 630 1256 0 36988 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 152996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1536488/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=142540 CPUtime=1661.72
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 883766 0 0 0 165563 609 0 0 25 0 1 0 188704218 145960960 30651 1992294400 4194304 9342243 548682068736 18446744073709551615 5990699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 35635 30651 630 1256 0 34374 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 142540

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1537320/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152764 CPUtime=1721.7
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 915681 0 0 0 171541 629 0 0 25 0 1 0 188704218 156430336 32271 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38191 32271 630 1256 0 36930 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 152764

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538024/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152880 CPUtime=1781.68
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 949240 0 0 0 177516 652 0 0 25 0 1 0 188704218 156549120 32177 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38220 32177 630 1256 0 36959 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 152880

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538280/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152824 CPUtime=1791.28
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 954326 0 0 0 178472 656 0 0 25 0 1 0 188704218 156491776 32014 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38206 32014 630 1256 0 36945 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 152824

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1540648/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1794.48
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 956587 0 0 0 178791 657 0 0 25 0 1 0 188704218 156610560 31386 1992294400 4194304 9342243 548682068736 18446744073709551615 6978074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38235 31386 630 1256 0 36974 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 152940

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1539816/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1796.07
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 956866 0 0 0 178950 657 0 0 25 0 1 0 188704218 156610560 31665 1992294400 4194304 9342243 548682068736 18446744073709551615 5874826 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38235 31665 630 1256 0 36974 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 152940

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538408/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1796.88
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 957201 0 0 0 179030 658 0 0 25 0 1 0 188704218 156610560 32000 1992294400 4194304 9342243 548682068736 18446744073709551615 6040760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38235 32000 630 1256 0 36974 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 152940

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1538408/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1797.67
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 957428 0 0 0 179109 658 0 0 25 0 1 0 188704218 156610560 32227 1992294400 4194304 9342243 548682068736 18446744073709551615 6040596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7353/statm: 38235 32227 630 1256 0 36974 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 152940

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1537192/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1797.88
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 957453 0 0 0 179130 658 0 0 25 0 1 0 188704218 156610560 32252 1992294400 4194304 9342243 548682068736 18446744073709551615 5854318 0 0 4096 0 0 0 0 17 1 0 0
/proc/7353/statm: 38235 32252 643 1256 0 36974 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 152940

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7360
/proc/meminfo: memFree=1537192/2055920 swapFree=4182544/4192956
[pid=7353] ppid=7351 vsize=152940 CPUtime=1797.97
/proc/7353/stat : 7353 (pbscip.linux.x8) R 7351 7353 7316 0 -1 4194304 957455 0 0 0 179139 658 0 0 25 0 1 0 188704218 156610560 32254 1992294400 4194304 9342243 548682068736 18446744073709551615 4240659 0 0 4096 0 0 0 0 17 1 0 0
/proc/7353/statm: 38235 32254 645 1256 0 36974 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 152940

Child status: 0
Real time (s): 1798.68
CPU time (s): 1798.06
CPU user time (s): 1791.45
CPU system time (s): 6.609
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 153128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.45
system time used= 6.609
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957463
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= 3
involuntary context switches= 2790

runsolver used 1.79673 second user time and 4.11937 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-17 05:57:58
IDJOB=1870547
IDBENCH=48272
IDSOLVER=684
FILE ID=node47/1870547-1245211078
PBS_JOBID= 9368418
Free space on /tmp= 65952 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870547-1245211078/watcher-1870547-1245211078 -o /tmp/evaluation-result-1870547-1245211078/solver-1870547-1245211078 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870547-1245211078.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d
RANDOM SEED=195878198

node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1664888 kB
Buffers:         64020 kB
Cached:         240436 kB
SwapCached:       4196 kB
Active:         114824 kB
Inactive:       197400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1664888 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:           12280 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            64752 kB
Committed_AS:   194060 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65940 MiB
End job on node47 at 2009-06-17 06:27:57