Trace number 1870453

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.72 1806.22

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
MD5SUMe05fbfdce4433b0b2590ec382b530cec
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-60
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150588
Sum of products size (including duplicates)301176
Number of different products75294
Sum of products size150588

Solver Data 

0.79/0.88	c SCIP version 1.1.0.7
0.79/0.88	c LP-Solver Clp 1.8.2
0.79/0.88	c user parameter file <scip.set> not found - using default parameters
0.79/0.88	c read problem <HOME/instance-1870453-1245204927.opb>
0.79/0.88	c original problem has 77294 variables (77294 bin, 0 int, 0 impl, 0 cont) and 78295 constraints
1.59/1.65	c start presolving problem
1.59/1.65	c presolving:
5.18/5.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598560 impls, 2000 clqs
10.89/10.91	c    (9.6s) probing: 101/77294 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
10.89/10.91	c    (9.6s) probing aborted: 100/100 successive totally useless probings
10.89/10.93	c presolving (2 rounds):
10.89/10.93	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
10.89/10.93	c  598560 implications, 2000 cliques
10.89/10.93	c presolved problem has 77294 variables (77294 bin, 0 int, 0 impl, 0 cont) and 78295 constraints
10.89/10.93	c    2000 constraints of type <setppc>
10.89/10.93	c   75294 constraints of type <and>
10.89/10.93	c       1 constraints of type <linear>
10.89/10.93	c    1000 constraints of type <logicor>
10.89/10.93	c transformed objective value is always integral (scale: 1)
10.89/10.93	c Presolving Time: 9.24
10.89/10.97	c OPT-NLC
10.89/10.97	c -----------------------------------------------------------------------------------------------
10.89/10.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.89/10.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.97	c limits/memory = c 1620
10.89/10.97	c # maximal time in seconds to run
10.89/10.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.89/10.97	c limits/time = c 1791
10.89/10.97	c # frequency for displaying node information lines
10.89/10.97	c # [type: int, range: [-1,2147483647], default: 100]
10.89/10.97	c display/freq = c 10000
10.89/10.97	c -----------------------------------------------------------------------------------------------
10.89/10.97	c start solving problem
10.89/10.97	c 
1797.30/1804.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.30/1804.81	c  1791s|     1 |     0 | 73124 | 347M|   0 |   - |  77k|  78k|  78k|  77k| 153k|   0 |   0 |   0 |-1.000000e+03 |      --      |    Inf 
1797.30/1804.88	c  1791s|     1 |     2 | 73124 | 347M|   0 |   - |  77k|  78k|  78k|  77k| 153k|   0 |   0 |   0 |-1.000000e+03 |      --      |    Inf 
1797.30/1804.88	c 
1797.30/1804.88	c SCIP Status        : solving was interrupted [time limit reached]
1797.30/1804.88	c Solving Time (sec) : 1791.12
1797.30/1804.88	c Solving Nodes      : 1
1797.30/1804.88	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.30/1804.88	c Dual Bound         : -1.00000000000000e+03
1797.30/1804.88	c Gap                : infinite
1797.30/1804.88	c NODE         1
1797.30/1804.88	c DUAL BOUND   -1000
1797.30/1804.88	c PRIMAL BOUND 1e+20
1797.30/1804.88	c GAP          1e+20
1797.30/1804.88	s UNKNOWN
1797.30/1804.88	c SCIP Status        : solving was interrupted [time limit reached]
1797.30/1804.88	c Solving Time       :    1791.12
1797.30/1804.88	c Original Problem   :
1797.30/1804.88	c   Problem name     : HOME/instance-1870453-1245204927.opb
1797.30/1804.88	c   Variables        : 77294 (77294 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.30/1804.88	c   Constraints      : 78295 initial, 78295 maximal
1797.30/1804.88	c Presolved Problem  :
1797.30/1804.88	c   Problem name     : t_HOME/instance-1870453-1245204927.opb
1797.30/1804.88	c   Variables        : 77294 (77294 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.30/1804.88	c   Constraints      : 78295 initial, 78295 maximal
1797.30/1804.88	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.30/1804.88	c   trivial          :       0.04          0          0          0          0          0          0          0          0
1797.30/1804.88	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1797.30/1804.88	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.30/1804.88	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.30/1804.88	c   implics          :       0.05          0          0          0          0          0          0          0          0
1797.30/1804.88	c   probing          :       2.90          0          0          0          0          0          0          0          0
1797.30/1804.88	c   setppc           :       0.10          0          0          0          0          0          0          0          0
1797.30/1804.88	c   and              :       5.09          0          0          0          0          0          0          0          0
1797.30/1804.88	c   linear           :       0.58          0          0          0          0          0          0          0          0
1797.30/1804.88	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1797.30/1804.88	c   root node        :          -          0          -          -          0          -          -          -          -
1797.30/1804.88	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.30/1804.88	c   integral         :          0          0          0          0          0          0          0          0          0          0
1797.30/1804.88	c   setppc           :       2000          0        201          0          1          0          0          0          0          0
1797.30/1804.88	c   and              :      75294          0        201          0          1          0          0          0          0          0
1797.30/1804.88	c   linear           :          1          0        201          0          1          0          0          0          0          0
1797.30/1804.88	c   logicor          :       1000          0        201          0          1          0          0          0          0          0
1797.30/1804.88	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1797.30/1804.88	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.30/1804.88	c   integral         :       0.00       0.00       0.00       0.00       0.00
1797.30/1804.88	c   setppc           :       0.08       0.00       0.06       0.00       0.02
1797.30/1804.88	c   and              :       0.90       0.00       0.88       0.00       0.02
1797.30/1804.88	c   linear           :       0.11       0.00       0.11       0.00       0.00
1797.30/1804.88	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1797.30/1804.88	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.30/1804.88	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.30/1804.88	c   rootredcost      :       0.00          0          0          0
1797.30/1804.88	c   pseudoobj        :       0.01          1          0          0
1797.30/1804.88	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.30/1804.88	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.30/1804.88	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.30/1804.88	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.30/1804.88	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.30/1804.88	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.30/1804.88	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.30/1804.88	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.30/1804.88	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.30/1804.88	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1797.30/1804.88	c   redcost          :       0.00          0          0          0          0          0
1797.30/1804.88	c   impliedbounds    :       0.00          0          0          0          0          0
1797.30/1804.88	c   intobj           :       0.00          0          0          0          0          0
1797.30/1804.89	c   gomory           :       0.00          0          0          0          0          0
1797.30/1804.89	c   strongcg         :       0.00          0          0          0          0          0
1797.30/1804.89	c   cmir             :       0.00          0          0          0          0          0
1797.30/1804.89	c   flowcover        :       0.00          0          0          0          0          0
1797.30/1804.89	c   clique           :       0.00          0          0          0          0          0
1797.30/1804.89	c   zerohalf         :       0.00          0          0          0          0          0
1797.30/1804.89	c   mcf              :       0.00          0          0          0          0          0
1797.30/1804.89	c Pricers            :       Time      Calls       Vars
1797.30/1804.89	c   problem variables:       0.00          0          0
1797.30/1804.89	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.30/1804.89	c   relpscost        :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   pscost           :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   inference        :       0.03          1          0          0          0          0          2
1797.30/1804.89	c   mostinf          :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   leastinf         :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.30/1804.89	c   random           :       0.00          0          0          0          0          0          0
1797.30/1804.89	c Primal Heuristics  :       Time      Calls      Found
1797.30/1804.89	c   LP solutions     :       0.00          -          0
1797.30/1804.89	c   pseudo solutions :       0.00          -          0
1797.30/1804.89	c   oneopt           :       0.00          0          0
1797.30/1804.89	c   simplerounding   :       0.00          0          0
1797.30/1804.89	c   rounding         :       0.00          0          0
1797.30/1804.89	c   shifting         :       0.00          0          0
1797.30/1804.89	c   intshifting      :       0.00          0          0
1797.30/1804.89	c   fixandinfer      :       0.00          0          0
1797.30/1804.89	c   feaspump         :       0.00          0          0
1797.30/1804.89	c   coefdiving       :       0.00          0          0
1797.30/1804.89	c   pscostdiving     :       0.00          0          0
1797.30/1804.89	c   fracdiving       :       0.00          0          0
1797.30/1804.89	c   veclendiving     :       0.00          0          0
1797.30/1804.89	c   intdiving        :       0.00          0          0
1797.30/1804.89	c   actconsdiving    :       0.00          0          0
1797.30/1804.89	c   objpscostdiving  :       0.00          0          0
1797.30/1804.89	c   rootsoldiving    :       0.00          0          0
1797.30/1804.89	c   linesearchdiving :       0.00          0          0
1797.30/1804.89	c   guideddiving     :       0.00          0          0
1797.30/1804.89	c   octane           :       0.00          0          0
1797.30/1804.89	c   rens             :       0.00          0          0
1797.30/1804.89	c   rins             :       0.00          0          0
1797.30/1804.89	c   localbranching   :       0.00          0          0
1797.30/1804.89	c   mutation         :       0.00          0          0
1797.30/1804.89	c   crossover        :       0.00          0          0
1797.30/1804.89	c   dins             :       0.00          0          0
1797.30/1804.89	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.30/1804.89	c   primal LP        :       0.00          0          0       0.00          -
1797.30/1804.89	c   dual LP          :    1780.35          1      73124   73124.00      41.07
1797.30/1804.89	c   barrier LP       :       0.00          0          0       0.00          -
1797.30/1804.89	c   diving/probing LP:       0.00          0          0       0.00          -
1797.30/1804.89	c   strong branching :       0.00          0          0       0.00          -
1797.30/1804.89	c     (at root node) :          -          0          0       0.00          -
1797.30/1804.89	c   conflict analysis:       0.00          0          0       0.00          -
1797.30/1804.89	c B&B Tree           :
1797.30/1804.89	c   number of runs   :          1
1797.30/1804.89	c   nodes            :          1
1797.30/1804.89	c   nodes (total)    :          1
1797.30/1804.89	c   nodes left       :          2
1797.30/1804.89	c   max depth        :          0
1797.30/1804.89	c   max depth (total):          0
1797.30/1804.89	c   backtracks       :          0 (0.0%)
1797.30/1804.89	c   delayed cutoffs  :          0
1797.30/1804.89	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.30/1804.89	c   avg switch length:       1.00
1797.30/1804.89	c   switching time   :       0.00
1797.30/1804.89	c Solution           :
1797.30/1804.89	c   Solutions found  :          0 (0 improvements)
1797.30/1804.89	c   Primal Bound     :          -
1797.30/1804.89	c   Dual Bound       : -1.00000000000000e+03
1797.30/1804.89	c   Gap              :   infinite
1797.30/1804.89	c   Root Dual Bound  : -1.00000000000000e+03
1798.69/1806.22	c Time complete: 1798.7.

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-1870453-1245204927/watcher-1870453-1245204927 -o /tmp/evaluation-result-1870453-1245204927/solver-1870453-1245204927 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870453-1245204927.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.32 0.51 0.53 3/86 18989
/proc/meminfo: memFree=612288/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=9240 CPUtime=0
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 957 0 0 0 0 0 0 0 20 0 1 0 188091737 9461760 941 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 2310 950 363 1256 0 1049 0

[startup+0.0175221 s]
/proc/loadavg: 0.32 0.51 0.53 3/86 18989
/proc/meminfo: memFree=612288/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=12660 CPUtime=0.01
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 2015 0 0 0 1 0 0 0 20 0 1 0 188091737 12963840 1999 1992294400 4194304 9342243 548682068736 18446744073709551615 8251520 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 3342 2004 378 1256 0 2081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12660

[startup+0.10153 s]
/proc/loadavg: 0.32 0.51 0.53 3/86 18989
/proc/meminfo: memFree=612288/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=25256 CPUtime=0.09
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 5185 0 0 0 8 1 0 0 20 0 1 0 188091737 25862144 5169 1992294400 4194304 9342243 548682068736 18446744073709551615 4363795 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 6314 5169 378 1256 0 5053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25256

[startup+0.301616 s]
/proc/loadavg: 0.32 0.51 0.53 3/86 18989
/proc/meminfo: memFree=612288/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=48956 CPUtime=0.29
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 11143 0 0 0 25 4 0 0 22 0 1 0 188091737 50130944 11127 1992294400 4194304 9342243 548682068736 18446744073709551615 5858501 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 12239 11127 378 1256 0 10978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48956

[startup+0.701596 s]
/proc/loadavg: 0.32 0.51 0.53 3/86 18989
/proc/meminfo: memFree=612288/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=83976 CPUtime=0.69
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 19960 0 0 0 61 8 0 0 25 0 1 0 188091737 85991424 19944 1992294400 4194304 9342243 548682068736 18446744073709551615 5545369 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 20994 19944 378 1256 0 19733 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83976

[startup+1.50068 s]
/proc/loadavg: 0.32 0.51 0.53 2/87 18990
/proc/meminfo: memFree=484536/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=194144 CPUtime=1.49
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 47955 0 0 0 131 18 0 0 25 0 1 0 188091737 198803456 47437 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 48536 47437 426 1256 0 47275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194144

[startup+3.10185 s]
/proc/loadavg: 0.32 0.51 0.53 4/87 18990
/proc/meminfo: memFree=419128/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=209516 CPUtime=3.09
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 51565 0 0 0 288 21 0 0 25 0 1 0 188091737 214544384 51047 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 52379 51047 446 1256 0 51118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209516

[startup+6.30118 s]
/proc/loadavg: 0.37 0.52 0.53 2/87 18990
/proc/meminfo: memFree=370240/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=248168 CPUtime=6.29
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 62861 0 0 0 590 39 0 0 25 0 1 0 188091737 254124032 60738 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 62042 60738 478 1256 0 60781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248168

[startup+12.703 s]
/proc/loadavg: 0.42 0.53 0.53 3/87 18990
/proc/meminfo: memFree=186824/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=557552 CPUtime=12.67
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 126636 0 0 0 1197 70 0 0 25 0 1 0 188091737 570933248 123610 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 139388 123610 617 1256 0 138127 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 557552

[startup+25.5013 s]
/proc/loadavg: 0.62 0.57 0.55 2/87 18990
/proc/meminfo: memFree=97040/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=560616 CPUtime=25.32
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 140549 0 0 0 2454 78 0 0 25 0 1 0 188091737 574070784 127592 1992294400 4194304 9342243 548682068736 18446744073709551615 6881923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 140154 127592 618 1256 0 138893 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 560616

[startup+51.102 s]
/proc/loadavg: 0.91 0.63 0.57 2/87 18990
/proc/meminfo: memFree=93648/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=603292 CPUtime=50.71
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 153361 0 0 0 4983 88 0 0 25 0 1 0 188091737 617771008 130007 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 150823 130007 619 1256 0 149562 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 603292

[startup+102.319 s]
/proc/loadavg: 1.24 0.77 0.61 2/87 18990
/proc/meminfo: memFree=90768/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=609968 CPUtime=101.61
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 173735 0 0 0 10059 102 0 0 25 0 1 0 188091737 624607232 130698 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 152492 130698 619 1256 0 151231 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 609968

[startup+162.302 s]
/proc/loadavg: 1.60 0.94 0.68 3/87 18990
/proc/meminfo: memFree=96720/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=615380 CPUtime=161.24
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 195277 0 0 0 16006 118 0 0 25 0 1 0 188091737 630149120 129214 1992294400 4194304 9342243 548682068736 18446744073709551615 5869941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 153845 129214 619 1256 0 152584 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 615380

[startup+222.302 s]
/proc/loadavg: 1.82 1.14 0.77 2/87 18990
/proc/meminfo: memFree=97360/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=616964 CPUtime=221.09
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 224303 0 0 0 21973 136 0 0 25 0 1 0 188091737 631771136 129052 1992294400 4194304 9342243 548682068736 18446744073709551615 6356785 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18989/statm: 154241 129052 619 1256 0 152980 0
Current children cumulated CPU time (s) 221.09
Current children cumulated vsize (KiB) 616964

[startup+282.301 s]
/proc/loadavg: 1.82 1.27 0.83 3/87 18990
/proc/meminfo: memFree=91216/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=617372 CPUtime=280.54
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 249554 0 0 0 27897 157 0 0 25 0 1 0 188091737 632188928 130879 1992294400 4194304 9342243 548682068736 18446744073709551615 5869941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154343 130879 619 1256 0 153082 0
Current children cumulated CPU time (s) 280.54
Current children cumulated vsize (KiB) 617372

[startup+342.301 s]
/proc/loadavg: 1.84 1.36 0.88 2/87 18990
/proc/meminfo: memFree=89232/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=617748 CPUtime=339.84
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 270597 0 0 0 33806 178 0 0 25 0 1 0 188091737 632573952 131080 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154437 131080 619 1256 0 153176 0
Current children cumulated CPU time (s) 339.84
Current children cumulated vsize (KiB) 617748

[startup+402.301 s]
/proc/loadavg: 1.63 1.39 0.92 4/87 18990
/proc/meminfo: memFree=96592/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=618124 CPUtime=399.73
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 293500 0 0 0 39782 191 0 0 25 0 1 0 188091737 632958976 129209 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154531 129209 619 1256 0 153270 0
Current children cumulated CPU time (s) 399.73
Current children cumulated vsize (KiB) 618124

[startup+462.302 s]
/proc/loadavg: 1.64 1.44 0.97 3/87 18990
/proc/meminfo: memFree=87440/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=618172 CPUtime=459.61
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 310289 0 0 0 45759 202 0 0 25 0 1 0 188091737 633008128 131505 1992294400 4194304 9342243 548682068736 18446744073709551615 5874190 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154543 131505 619 1256 0 153282 0
Current children cumulated CPU time (s) 459.61
Current children cumulated vsize (KiB) 618172

[startup+522.302 s]
/proc/loadavg: 1.49 1.43 0.99 2/87 18990
/proc/meminfo: memFree=97232/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=618392 CPUtime=519.27
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 334822 0 0 0 51709 218 0 0 25 0 1 0 188091737 633233408 129027 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154598 129027 619 1256 0 153337 0
Current children cumulated CPU time (s) 519.27
Current children cumulated vsize (KiB) 618392

[startup+582.301 s]
/proc/loadavg: 1.72 1.52 1.05 2/87 18990
/proc/meminfo: memFree=94032/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=618480 CPUtime=579.21
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 355583 0 0 0 57691 230 0 0 25 0 1 0 188091737 633323520 129886 1992294400 4194304 9342243 548682068736 18446744073709551615 5869932 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 154620 129886 619 1256 0 153359 0
Current children cumulated CPU time (s) 579.21
Current children cumulated vsize (KiB) 618480

[startup+642.302 s]
/proc/loadavg: 1.56 1.52 1.08 3/87 18990
/proc/meminfo: memFree=88912/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=618968 CPUtime=638.95
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 376569 0 0 0 63649 246 0 0 25 0 1 0 188091737 633823232 131047 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 0 0 0
/proc/18989/statm: 154742 131047 619 1256 0 153481 0
Current children cumulated CPU time (s) 638.95
Current children cumulated vsize (KiB) 618968

[startup+702.307 s]

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

/proc/meminfo: memFree=90448/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=622288 CPUtime=1176.96
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 565684 0 0 0 117306 390 0 0 25 0 1 0 188091737 637222912 130705 1992294400 4194304 9342243 548682068736 18446744073709551615 6959562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155572 130705 619 1256 0 154311 0
Current children cumulated CPU time (s) 1176.96
Current children cumulated vsize (KiB) 622288

[startup+1242.3 s]
/proc/loadavg: 1.61 1.75 1.41 2/87 18990
/proc/meminfo: memFree=95440/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=622592 CPUtime=1236.65
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 591325 0 0 0 123257 408 0 0 25 0 1 0 188091737 637534208 129304 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155648 129304 619 1256 0 154387 0
Current children cumulated CPU time (s) 1236.65
Current children cumulated vsize (KiB) 622592

[startup+1302.3 s]
/proc/loadavg: 1.90 1.79 1.45 2/87 18990
/proc/meminfo: memFree=89552/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=622872 CPUtime=1296.61
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 611647 0 0 0 129240 421 0 0 25 0 1 0 188091737 637820928 130691 1992294400 4194304 9342243 548682068736 18446744073709551615 6960386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155718 130691 619 1256 0 154457 0
Current children cumulated CPU time (s) 1296.61
Current children cumulated vsize (KiB) 622872

[startup+1362.3 s]
/proc/loadavg: 1.87 1.80 1.47 2/87 18990
/proc/meminfo: memFree=92432/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=623072 CPUtime=1356.55
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 633594 0 0 0 135221 434 0 0 25 0 1 0 188091737 638025728 130046 1992294400 4194304 9342243 548682068736 18446744073709551615 5874616 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155768 130046 619 1256 0 154507 0
Current children cumulated CPU time (s) 1356.55
Current children cumulated vsize (KiB) 623072

[startup+1422.31 s]
/proc/loadavg: 1.71 1.77 1.48 4/87 18990
/proc/meminfo: memFree=81296/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=623324 CPUtime=1416.39
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 651755 0 0 0 141192 447 0 0 25 0 1 0 188091737 638283776 132769 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155831 132769 619 1256 0 154570 0
Current children cumulated CPU time (s) 1416.39
Current children cumulated vsize (KiB) 623324

[startup+1482.3 s]
/proc/loadavg: 1.54 1.70 1.47 4/87 18990
/proc/meminfo: memFree=94224/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=623572 CPUtime=1476.36
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 677034 0 0 0 147175 461 0 0 25 0 1 0 188091737 638537728 129537 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155893 129537 619 1256 0 154632 0
Current children cumulated CPU time (s) 1476.36
Current children cumulated vsize (KiB) 623572

[startup+1542.3 s]
/proc/loadavg: 1.31 1.60 1.45 2/87 18990
/proc/meminfo: memFree=84176/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=623688 CPUtime=1536.34
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 695362 0 0 0 153161 473 0 0 25 0 1 0 188091737 638656512 132019 1992294400 4194304 9342243 548682068736 18446744073709551615 6968731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155922 132019 619 1256 0 154661 0
Current children cumulated CPU time (s) 1536.34
Current children cumulated vsize (KiB) 623688

[startup+1602.3 s]
/proc/loadavg: 1.43 1.59 1.45 4/87 18990
/proc/meminfo: memFree=80336/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=623988 CPUtime=1595.93
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 718063 0 0 0 159103 490 0 0 25 0 1 0 188091737 638963712 133026 1992294400 4194304 9342243 548682068736 18446744073709551615 6962202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 155997 133026 619 1256 0 154736 0
Current children cumulated CPU time (s) 1595.93
Current children cumulated vsize (KiB) 623988

[startup+1662.3 s]
/proc/loadavg: 1.32 1.54 1.44 2/87 18990
/proc/meminfo: memFree=91152/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624112 CPUtime=1655.6
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 739746 0 0 0 165055 505 0 0 25 0 1 0 188091737 639090688 130339 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156028 130339 619 1256 0 154767 0
Current children cumulated CPU time (s) 1655.6
Current children cumulated vsize (KiB) 624112

[startup+1722.3 s]
/proc/loadavg: 1.40 1.53 1.44 2/87 18990
/proc/meminfo: memFree=80272/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624284 CPUtime=1715.33
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 758299 0 0 0 171013 520 0 0 25 0 1 0 188091737 639266816 132962 1992294400 4194304 9342243 548682068736 18446744073709551615 5874988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156071 132962 619 1256 0 154810 0
Current children cumulated CPU time (s) 1715.33
Current children cumulated vsize (KiB) 624284

[startup+1782.3 s]
/proc/loadavg: 1.57 1.55 1.46 2/87 18990
/proc/meminfo: memFree=88208/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624536 CPUtime=1774.86
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 779654 0 0 0 176947 539 0 0 25 0 1 0 188091737 639524864 131002 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156134 131002 619 1256 0 154873 0
Current children cumulated CPU time (s) 1774.86
Current children cumulated vsize (KiB) 624536

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

[startup+1791.91 s]
/proc/loadavg: 1.64 1.57 1.46 2/87 18990
/proc/meminfo: memFree=80016/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624536 CPUtime=1784.41
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 781645 0 0 0 177899 542 0 0 25 0 1 0 188091737 639524864 132993 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156134 132993 619 1256 0 154873 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (KiB) 624536

[startup+1798.3 s]
/proc/loadavg: 1.75 1.59 1.47 4/87 18990
/proc/meminfo: memFree=92816/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624628 CPUtime=1790.79
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 786721 0 0 0 178534 545 0 0 25 0 1 0 188091737 639619072 129979 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156157 129979 619 1256 0 154896 0
Current children cumulated CPU time (s) 1790.79
Current children cumulated vsize (KiB) 624628

[startup+1801.5 s]
/proc/loadavg: 1.69 1.58 1.47 2/87 18990
/proc/meminfo: memFree=90448/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624628 CPUtime=1793.99
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 787375 0 0 0 178853 546 0 0 25 0 1 0 188091737 639619072 130633 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156157 130633 619 1256 0 154896 0
Current children cumulated CPU time (s) 1793.99
Current children cumulated vsize (KiB) 624628

[startup+1804.7 s]
/proc/loadavg: 1.63 1.57 1.46 4/87 18990
/proc/meminfo: memFree=86672/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624628 CPUtime=1797.19
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 788293 0 0 0 179172 547 0 0 25 0 1 0 188091737 639619072 131551 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18989/statm: 156157 131551 619 1256 0 154896 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 624628

[startup+1805.5 s]
/proc/loadavg: 1.63 1.57 1.46 2/87 18990
/proc/meminfo: memFree=84496/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624628 CPUtime=1797.99
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 788604 0 0 0 179252 547 0 0 25 0 1 0 188091737 639619072 131862 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 156157 131862 633 1256 0 154896 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 624628

[startup+1805.9 s]
/proc/loadavg: 1.63 1.57 1.46 2/87 18990
/proc/meminfo: memFree=84496/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=624628 CPUtime=1798.39
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 788605 0 0 0 179292 547 0 0 25 0 1 0 188091737 639619072 131863 1992294400 4194304 9342243 548682068736 18446744073709551615 5854898 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 156157 131863 634 1256 0 154896 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 624628

[startup+1806.1 s]
/proc/loadavg: 1.63 1.57 1.46 2/87 18990
/proc/meminfo: memFree=188240/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=426488 CPUtime=1798.59
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 788606 0 0 0 179311 548 0 0 25 0 1 0 188091737 436723712 105345 1992294400 4194304 9342243 548682068736 18446744073709551615 5854372 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 106622 105345 635 1256 0 105361 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 426488

[startup+1806.21 s]
/proc/loadavg: 1.63 1.57 1.46 2/87 18990
/proc/meminfo: memFree=188240/2055920 swapFree=4181116/4192956
[pid=18989] ppid=18987 vsize=194068 CPUtime=1798.69
/proc/18989/stat : 18989 (pbscip.linux.x8) R 18987 18989 18914 0 -1 4194304 788606 0 0 0 179316 553 0 0 25 0 1 0 188091737 198725632 47560 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/18989/statm: 48517 47560 31501 1256 0 47256 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 194068

Child status: 0
Real time (s): 1806.22
CPU time (s): 1798.72
CPU user time (s): 1793.17
CPU system time (s): 5.54916
CPU usage (%): 99.5845
Max. virtual memory (cumulated for all children) (KiB): 624628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.17
system time used= 5.54916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 788613
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= 2
involuntary context switches= 24371

runsolver used 2.59461 second user time and 6.95794 second system time

The end

Launcher Data 

Begin job on node79 at 2009-06-17 04:15:27
IDJOB=1870453
IDBENCH=48225
IDSOLVER=684
FILE ID=node79/1870453-1245204927
PBS_JOBID= 9368373
Free space on /tmp= 66228 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_1000_60_3.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-1870453-1245204927/watcher-1870453-1245204927 -o /tmp/evaluation-result-1870453-1245204927/solver-1870453-1245204927 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870453-1245204927.opb

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

MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec
RANDOM SEED=652547826

node79.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.234
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.234
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        612768 kB
Buffers:         73644 kB
Cached:        1251136 kB
SwapCached:       6048 kB
Active:         496340 kB
Inactive:       860956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        612768 kB
SwapTotal:     4192956 kB
SwapFree:      4181116 kB
Dirty:           14072 kB
Writeback:           0 kB
Mapped:          39812 kB
Slab:            69808 kB
Committed_AS:   621448 kB
PageTables:       2736 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= 66216 MiB
End job on node79 at 2009-06-17 04:45:33