Trace number 1870475

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? 1797.65 1798.09

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_5.opb
MD5SUMc7b55c33bf2dc9c08660966375c6138a
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.03
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)150576
Sum of products size (including duplicates)301152
Number of different products75288
Sum of products size150576

Solver Data 

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

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-1870475-1245206537/watcher-1870475-1245206537 -o /tmp/evaluation-result-1870475-1245206537/solver-1870475-1245206537 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870475-1245206537.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.88 0.98 0.99 3/64 12973
/proc/meminfo: memFree=1758272/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=5812 CPUtime=0
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 188249828 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 1453 515 344 1256 0 192 0

[startup+0.0205189 s]
/proc/loadavg: 0.88 0.98 0.99 3/64 12973
/proc/meminfo: memFree=1758272/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=13360 CPUtime=0
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 2191 0 0 0 0 0 0 0 18 0 1 0 188249828 13680640 2175 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 3340 2175 378 1256 0 2079 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13360

[startup+0.101525 s]
/proc/loadavg: 0.88 0.98 0.99 3/64 12973
/proc/meminfo: memFree=1758272/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=25252 CPUtime=0.09
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 5181 0 0 0 7 2 0 0 18 0 1 0 188249828 25858048 5165 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 6313 5165 378 1256 0 5052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25252

[startup+0.301543 s]
/proc/loadavg: 0.88 0.98 0.99 3/64 12973
/proc/meminfo: memFree=1758272/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=48804 CPUtime=0.29
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 11100 0 0 0 25 4 0 0 19 0 1 0 188249828 49975296 11084 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 12201 11084 378 1256 0 10940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48804

[startup+0.701577 s]
/proc/loadavg: 0.88 0.98 0.99 3/64 12973
/proc/meminfo: memFree=1758272/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=81712 CPUtime=0.69
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 19372 0 0 0 61 8 0 0 22 0 1 0 188249828 83673088 19356 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 20428 19356 378 1256 0 19167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81712

[startup+1.50165 s]
/proc/loadavg: 0.88 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1645752/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=193840 CPUtime=1.49
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 47877 0 0 0 131 18 0 0 25 0 1 0 188249828 198492160 47359 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 48460 47359 426 1256 0 47199 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193840

[startup+3.10179 s]
/proc/loadavg: 0.89 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1565752/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=208260 CPUtime=3.09
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 51281 0 0 0 287 22 0 0 25 0 1 0 188249828 213258240 50763 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 52065 50763 446 1256 0 50804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208260

[startup+6.30107 s]
/proc/loadavg: 0.89 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1519096/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=248372 CPUtime=6.29
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 62909 0 0 0 591 38 0 0 25 0 1 0 188249828 254332928 60786 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 62093 60786 478 1256 0 60832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248372

[startup+12.7016 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1376328/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=548824 CPUtime=12.69
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 124233 0 0 0 1199 70 0 0 25 0 1 0 188249828 561995776 121202 1992294400 4194304 9342243 548682068736 18446744073709551615 6224573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 137206 121202 610 1256 0 135945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 548824

[startup+25.5018 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1243720/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=582436 CPUtime=25.48
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 136797 0 0 0 2470 78 0 0 25 0 1 0 188249828 596414464 129102 1992294400 4194304 9342243 548682068736 18446744073709551615 6357206 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 145609 129102 618 1256 0 144348 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 582436

[startup+51.102 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1239176/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=599900 CPUtime=51.07
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 152557 0 0 0 5020 87 0 0 25 0 1 0 188249828 614297600 130120 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 149975 130120 619 1256 0 148714 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 599900

[startup+102.304 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1236424/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=611968 CPUtime=102.27
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 178724 0 0 0 10124 103 0 0 25 0 1 0 188249828 626655232 130755 1992294400 4194304 9342243 548682068736 18446744073709551615 5869974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 152992 130755 619 1256 0 151731 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 611968

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1243592/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=616508 CPUtime=162.25
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 200813 0 0 0 16110 115 0 0 25 0 1 0 188249828 631304192 128963 1992294400 4194304 9342243 548682068736 18446744073709551615 5868863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154127 128963 619 1256 0 152866 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 616508

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1238344/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=617920 CPUtime=222.24
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 227880 0 0 0 22095 129 0 0 25 0 1 0 188249828 632750080 130316 1992294400 4194304 9342243 548682068736 18446744073709551615 5874172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154480 130316 619 1256 0 153219 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 617920

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12974
/proc/meminfo: memFree=1241160/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=618808 CPUtime=282.22
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 252731 0 0 0 28079 143 0 0 25 0 1 0 188249828 633659392 129626 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154702 129626 619 1256 0 153441 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 618808

[startup+342.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 12974
/proc/meminfo: memFree=1241480/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=619044 CPUtime=342.21
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 275529 0 0 0 34064 157 0 0 25 0 1 0 188249828 633901056 129472 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154761 129472 619 1256 0 153500 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 619044

[startup+402.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 12974
/proc/meminfo: memFree=1240072/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=619356 CPUtime=402.19
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 296813 0 0 0 40050 169 0 0 25 0 1 0 188249828 634220544 129891 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154839 129891 619 1256 0 153578 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 619356

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12974
/proc/meminfo: memFree=1241672/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=619728 CPUtime=462.18
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 322258 0 0 0 46033 185 0 0 25 0 1 0 188249828 634601472 129427 1992294400 4194304 9342243 548682068736 18446744073709551615 5874984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154932 129427 628 1256 0 153671 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 619728

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12974
/proc/meminfo: memFree=1242568/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=619968 CPUtime=522.16
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 343038 0 0 0 52020 196 0 0 25 0 1 0 188249828 634847232 129316 1992294400 4194304 9342243 548682068736 18446744073709551615 5874294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154992 129316 628 1256 0 153731 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 619968

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12974
/proc/meminfo: memFree=1239432/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=619984 CPUtime=582.15
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 361600 0 0 0 58008 207 0 0 25 0 1 0 188249828 634863616 130024 1992294400 4194304 9342243 548682068736 18446744073709551615 5868844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 154996 130024 628 1256 0 153735 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 619984

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12976
/proc/meminfo: memFree=1231880/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=620276 CPUtime=642.14
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 380936 0 0 0 63995 219 0 0 25 0 1 0 188249828 635162624 131830 1992294400 4194304 9342243 548682068736 18446744073709551615 6963984 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155069 131830 628 1256 0 153808 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 620276

[startup+702.301 s]

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

/proc/meminfo: memFree=1239624/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622272 CPUtime=1122.02
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 540858 0 0 0 111891 311 0 0 25 0 1 0 188249828 637206528 129818 1992294400 4194304 9342243 548682068736 18446744073709551615 6970112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155568 129818 629 1256 0 154307 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 622272

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1239688/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622308 CPUtime=1182
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 560992 0 0 0 117878 322 0 0 25 0 1 0 188249828 637243392 129863 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155577 129863 629 1256 0 154316 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 622308

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1235400/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622360 CPUtime=1241.98
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 576841 0 0 0 123866 332 0 0 25 0 1 0 188249828 637296640 130938 1992294400 4194304 9342243 548682068736 18446744073709551615 6363967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155590 130938 629 1256 0 154329 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 622360

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1232520/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622416 CPUtime=1301.97
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 597045 0 0 0 129853 344 0 0 25 0 1 0 188249828 637353984 131566 1992294400 4194304 9342243 548682068736 18446744073709551615 6965675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155604 131566 629 1256 0 154343 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 622416

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1234632/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622572 CPUtime=1361.95
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 615408 0 0 0 135840 355 0 0 25 0 1 0 188249828 637513728 131114 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155643 131114 629 1256 0 154382 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 622572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1231304/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622672 CPUtime=1421.94
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 631218 0 0 0 141829 365 0 0 25 0 1 0 188249828 637616128 131860 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155668 131860 629 1256 0 154407 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 622672

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12982
/proc/meminfo: memFree=1239816/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622760 CPUtime=1481.93
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 655612 0 0 0 147814 379 0 0 25 0 1 0 188249828 637706240 129733 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155690 129733 629 1256 0 154429 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 622760

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1236296/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622852 CPUtime=1541.91
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 671317 0 0 0 153803 388 0 0 25 0 1 0 188249828 637800448 130594 1992294400 4194304 9342243 548682068736 18446744073709551615 6970167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155713 130594 629 1256 0 154452 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 622852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1240008/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=622960 CPUtime=1601.9
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 691869 0 0 0 159789 401 0 0 25 0 1 0 188249828 637911040 129689 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155740 129689 629 1256 0 154479 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 622960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1234888/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623024 CPUtime=1661.88
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 706178 0 0 0 165778 410 0 0 25 0 1 0 188249828 637976576 131000 1992294400 4194304 9342243 548682068736 18446744073709551615 5869968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155756 131000 629 1256 0 154495 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 623024

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1239688/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623164 CPUtime=1721.87
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 727124 0 0 0 171764 423 0 0 25 0 1 0 188249828 638119936 129796 1992294400 4194304 9342243 548682068736 18446744073709551615 6962191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155791 129796 629 1256 0 154530 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 623164

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1234952/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623236 CPUtime=1781.86
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 744211 0 0 0 177752 434 0 0 25 0 1 0 188249828 638193664 130951 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155809 130951 629 1256 0 154548 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 623236

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1232840/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623236 CPUtime=1785.05
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 744718 0 0 0 178071 434 0 0 25 0 1 0 188249828 638193664 131458 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155809 131458 629 1256 0 154548 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 623236

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1228296/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623236 CPUtime=1791.46
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 745880 0 0 0 178711 435 0 0 25 0 1 0 188249828 638193664 132620 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155809 132620 629 1256 0 154548 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 623236

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1239752/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623268 CPUtime=1794.66
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 750624 0 0 0 179028 438 0 0 25 0 1 0 188249828 638226432 129714 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155817 129714 629 1256 0 154556 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 623268

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1239560/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623268 CPUtime=1796.25
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 750706 0 0 0 179187 438 0 0 25 0 1 0 188249828 638226432 129796 1992294400 4194304 9342243 548682068736 18446744073709551615 4896720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12973/statm: 155817 129796 635 1256 0 154556 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 623268

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1238344/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623268 CPUtime=1797.05
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 750997 0 0 0 179267 438 0 0 25 0 1 0 188249828 638226432 130087 1992294400 4194304 9342243 548682068736 18446744073709551615 4237366 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 155817 130087 644 1256 0 154556 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 623268

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1238344/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=623268 CPUtime=1797.45
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 750997 0 0 0 179307 438 0 0 25 0 1 0 188249828 638226432 130087 1992294400 4194304 9342243 548682068736 18446744073709551615 4401540 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 155817 130087 644 1256 0 154556 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 623268

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12982
/proc/meminfo: memFree=1238344/2055920 swapFree=4182220/4192956
[pid=12973] ppid=12971 vsize=403084 CPUtime=1797.55
/proc/12973/stat : 12973 (pbscip.linux.x8) R 12971 12973 12936 0 -1 4194304 750998 0 0 0 179315 440 0 0 25 0 1 0 188249828 412758016 99502 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12973/statm: 100771 99502 645 1256 0 99510 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 403084

Child status: 0
Real time (s): 1798.09
CPU time (s): 1797.65
CPU user time (s): 1793.18
CPU system time (s): 4.47532
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 623268

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

runsolver used 1.83972 second user time and 4.06938 second system time

The end

Launcher Data 

Begin job on node50 at 2009-06-17 04:42:17
IDJOB=1870475
IDBENCH=48236
IDSOLVER=684
FILE ID=node50/1870475-1245206537
PBS_JOBID= 9368399
Free space on /tmp= 66424 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_5.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-1870475-1245206537/watcher-1870475-1245206537 -o /tmp/evaluation-result-1870475-1245206537/solver-1870475-1245206537 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870475-1245206537.opb

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

MD5SUM BENCH= c7b55c33bf2dc9c08660966375c6138a
RANDOM SEED=402621246

node50.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.211
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.211
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:       1758688 kB
Buffers:         39204 kB
Cached:         178524 kB
SwapCached:       4836 kB
Active:          82544 kB
Inactive:       142736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758688 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:           13956 kB
Writeback:           0 kB
Mapped:          13296 kB
Slab:            57876 kB
Committed_AS:   119836 kB
PageTables:       1452 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= 66412 MiB
End job on node50 at 2009-06-17 05:12:15