Trace number 453471

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)14 1800.15 1801.26

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453471-1178139995/instance-453471-1178139995.opb
0.00/0.00	c File size is 84610 bytes.
0.00/0.03	c Highest Coefficient sum: 200
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.034 s
0.00/0.04	c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700
0.00/0.04	c Obj. Vars: 200 (3.09598 % of total variables)
0.39/0.41	c Pre-processing Time: 0.414 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   6460    12720    44020    3    31700   39713      0      0 0.41
0.39/0.41	c Switching off LPR mode.
0.39/0.42	o 199	0.419
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   6460    12721    44220    3    31703   39846      1      0 0.42
0.39/0.43	o 198	0.427
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   6460    12722    44420    3    31707   40046      2      0 0.43
0.39/0.43	o 197	0.434
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        0   6460    12723    44620    3    31712   40313      3      0 0.44
0.39/0.44	o 196	0.442
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        0   6460    12724    44820    3    31718   40646      4      0 0.44
0.39/0.45	o 195	0.449
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   6460    12725    45020    3    31725   41046      5      0 0.45
0.39/0.46	o 194	0.457
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0   6460    12726    45220    3    31733   41513      6      0 0.46
0.39/0.46	o 193	0.465
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c        0   6460    12727    45420    3    31742   42046      7      0 0.47
0.39/0.47	o 192	0.472
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c        0   6460    12728    45620    3    31752   42646      8      0 0.47
0.39/0.48	o 191	0.479
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        0   6460    12729    45820    3    31763   43313      9      0 0.48
0.39/0.49	o 190	0.487
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c        0   6460    12730    46020    3    31775   44046     10      0 0.49
0.39/0.49	o 189	0.495
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        0   6460    12731    46220    3    31788   44846     11      0 0.50
0.49/0.50	o 188	0.502
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c        0   6460    12732    46420    3    31802   45713     12      0 0.51
0.49/0.51	o 187	0.509
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c        0   6460    12733    46620    3    31817   46646     13      0 0.51
0.49/0.52	o 186	0.517
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c        0   6460    12734    46820    3    31833   47646     14      0 0.52
0.49/0.52	o 185	0.525
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        0   6460    12735    47020    3    31850   48646     15      0 0.53
0.49/0.53	o 184	0.533
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   6460    12736    47220    3    31868   49646     16      0 0.54
0.49/0.54	o 183	0.541
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   6460    12737    47420    3    31887   50646     17      0 0.54
0.49/0.55	o 182	0.549
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        0   6460    12738    47620    3    31907   51646     18      0 0.55
0.49/0.56	o 181	0.556
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        0   6460    12739    47820    3    31928   52646     19      0 0.56
0.49/0.56	o 174	0.565
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c        1   6460    12741    48201    3    31958   52646     21      1 0.57
0.49/0.57	o 18	0.575
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c        1   6460    12742    48401    3    32142   52646     22      1 0.58
0.49/0.58	o 16	0.585
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c        1   6460    12743    48601    3    32328   52646     23      1 0.59
0.59/0.60	o 15	0.606
586.34/586.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.34/586.72	c       36   6460    12779    53218    4    32585   52646     59     59 0.61
586.34/586.72	c      136   6460    12879    63942    4    32785   57911    159    210 0.65
586.34/586.72	c      387   6460    13130    97461    7    33287   63703    410    517 0.75
586.34/586.72	c      864   6460    13607   149561   10    34241   70074    887    961 0.90
586.34/586.72	c     1677   6460    14420   248725   17    35867   77082   1700   1440 1.16
586.34/586.72	c     2997   6460    15740   394719   25    38507   84791   3020   1787 1.68
586.34/586.72	c     5079   6460    17822   686298   38    42671   93271   5102   1838 2.76
586.34/586.72	c     8302   6460    21045  1065377   50    49117  102599   8325   1837 4.52
586.34/586.72	c    13238   6460    25981  1617506   62    58989  112859  13261   1779 7.44
586.34/586.72	c    20745   6460    33488  2623654   78    74003  124145  20768   1438 14.42
586.34/586.72	c    32107   6460    44850  4416228   98    96727  136560  32130   1114 28.82
586.34/586.72	c    49251   6460    61994  6760232  109   131015  150217  49274    898 54.78
586.34/586.72	c    75073   6460    87816 10238371  116   182659  165239  75096    680 110.39
586.34/586.72	c   113906   6460   126649 15748180  124   260325  181763 113929    471 241.48
586.34/586.72	c   172259   6460   185002 23576707  127   377031  199940 172282    341 504.34
586.34/586.72	o 14	586.365
1800.08/1801.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1801.20	c   186998   6460   199742 25695059  128   406697   52646 187022    318 586.37
1800.08/1801.20	c   187099   6460    26069  1967509   75    58584   57911  13349    288 648.25
1800.08/1801.20	c   187349   6460    26319  2001468   76    59084   63703  13599    288 648.45
1800.08/1801.20	c   187824   6460    26794  2067826   77    60034   70074  14074    289 648.84
1800.08/1801.20	c   188639   6460    27609  2156927   78    61664   77082  14889    290 649.52
1800.08/1801.20	c   189959   6460    28929  2309945   79    64304   84791  16209    292 650.49
1800.08/1801.20	c   192041   6460    31011  2610738   84    68468   93271  18291    294 652.27
1800.08/1801.20	c   195266   6460    34236  2928799   85    74918  102599  21516    298 654.88
1800.08/1801.20	c   200202   6460    39172  3356414   85    84790  112859  26452    303 659.39
1800.08/1801.20	c   207708   6460    46678  4272506   91    99802  124145  33958    310 669.97
1800.08/1801.20	c   219070   6460    58040  5168276   89   122526  136560  45320    318 687.71
1800.08/1801.20	c   236217   6460    75187  7263956   96   156820  150217  62467    324 727.46
1800.08/1801.20	c   262037   6460   101007 11360150  112   208460  165239  88287    328 797.09
1800.08/1801.20	c   300871   6460   139841 16723599  119   286128  181763 127121    312 963.74
1800.08/1801.20	c   359224   6460    27477  2292804   83    61400  199940  14757    266 1347.56
1800.08/1801.20	c Caught signal: 15
1800.08/1801.20	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.08/1801.20	v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.08/1801.20	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.08/1801.20	v -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.08/1801.20	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126
1800.08/1801.20	v -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147
1800.08/1801.20	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.08/1801.20	v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.08/1801.20	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1800.08/1801.20	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1801.20	c   52   438983 136547   699103   107236 17792564  94516    243 1800.09
1800.08/1801.20	c Objective: 14
1800.08/1801.20	s SATISFIABLE
1800.08/1801.20	c Total time: 1800.09 s

Verifier Data (download as text)

OK	14

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-453471-1178139995 -o ROOT/results/node18/solver-453471-1178139995 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453471-1178139995/instance-453471-1178139995.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.87 1.03 1.00 3/77 8024
/proc/meminfo: memFree=1815352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=4008 CPUtime=0
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 261916920 4104192 349 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 1002 349 289 324 0 51 0

[startup+0.00948011 s]
/proc/loadavg: 0.87 1.03 1.00 3/77 8024
/proc/meminfo: memFree=1815352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=4284 CPUtime=0
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 448 0 0 0 0 0 0 0 18 0 1 0 261916920 4386816 418 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 1071 419 292 324 0 120 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4284

[startup+0.101487 s]
/proc/loadavg: 0.87 1.03 1.00 3/77 8024
/proc/meminfo: memFree=1815352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=7164 CPUtime=0.09
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 1188 0 0 0 9 0 0 0 18 0 1 0 261916920 7335936 1137 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 1791 1137 303 324 0 861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7164

[startup+0.301505 s]
/proc/loadavg: 0.87 1.03 1.00 3/77 8024
/proc/meminfo: memFree=1815352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=7164 CPUtime=0.29
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 1188 0 0 0 29 0 0 0 19 0 1 0 261916920 7335936 1137 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 1791 1137 303 324 0 861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7164

[startup+0.701546 s]
/proc/loadavg: 0.87 1.03 1.00 3/77 8024
/proc/meminfo: memFree=1815352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=7884 CPUtime=0.69
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 1677 0 0 0 67 2 0 0 23 0 1 0 261916920 8073216 1318 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8294241 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 1971 1318 310 324 0 1041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7884

[startup+1.50162 s]
/proc/loadavg: 0.87 1.03 1.00 2/78 8025
/proc/meminfo: memFree=1809712/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=11528 CPUtime=1.49
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 2594 0 0 0 147 2 0 0 25 0 1 0 261916920 11804672 2235 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 2882 2235 310 324 0 1952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11528

[startup+3.10178 s]
/proc/loadavg: 0.87 1.03 1.00 2/78 8025
/proc/meminfo: memFree=1805168/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=17108 CPUtime=3.09
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 3989 0 0 0 307 2 0 0 25 0 1 0 261916920 17518592 3630 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 4277 3630 310 324 0 3347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17108

[startup+6.30108 s]
/proc/loadavg: 0.88 1.03 1.00 2/78 8025
/proc/meminfo: memFree=1794352/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=26464 CPUtime=6.29
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 6336 0 0 0 625 4 0 0 25 0 1 0 261916920 27099136 5977 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 6616 5977 310 324 0 5686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26464

[startup+12.7017 s]
/proc/loadavg: 0.89 1.03 1.00 2/78 8025
/proc/meminfo: memFree=1780024/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=39952 CPUtime=12.69
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 9703 0 0 0 1262 7 0 0 25 0 1 0 261916920 40910848 9344 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 9988 9344 310 324 0 9058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39952

[startup+25.5019 s]
/proc/loadavg: 0.91 1.02 1.00 2/78 8025
/proc/meminfo: memFree=1757176/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=62108 CPUtime=25.47
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 15248 0 0 0 2538 9 0 0 25 0 1 0 261916920 63598592 14889 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 15527 14889 310 324 0 14597 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 62108

[startup+51.1014 s]
/proc/loadavg: 0.94 1.02 1.00 2/78 8025
/proc/meminfo: memFree=1724216/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=95060 CPUtime=51.06
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 23491 0 0 0 5089 17 0 0 25 0 1 0 261916920 97341440 23132 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 23765 23132 310 324 0 22835 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95060

[startup+102.305 s]
/proc/loadavg: 0.97 1.02 1.00 2/78 8025
/proc/meminfo: memFree=1678328/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=140548 CPUtime=102.23
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 34850 0 0 0 10195 28 0 0 25 0 1 0 261916920 143921152 34491 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 35137 34491 310 324 0 34207 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 140548

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 8025
/proc/meminfo: memFree=1632888/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=186256 CPUtime=162.19
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 46273 0 0 0 16181 38 0 0 25 0 1 0 261916920 190726144 45914 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 46564 45914 310 324 0 45634 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 186256

[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 8025
/proc/meminfo: memFree=1606712/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=212148 CPUtime=222.14
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 52758 0 0 0 22170 44 0 0 25 0 1 0 261916920 217239552 52399 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 53037 52399 310 324 0 52107 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 212148

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1575928/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=243084 CPUtime=282.11
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 60477 0 0 0 28161 50 0 0 25 0 1 0 261916920 248918016 60118 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 60771 60118 310 324 0 59841 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 243084

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1551096/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=267672 CPUtime=342.08
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 66634 0 0 0 34151 57 0 0 25 0 1 0 261916920 274096128 66275 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 66918 66275 310 324 0 65988 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 267672

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1531192/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=287752 CPUtime=402.03
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 71662 0 0 0 40142 61 0 0 25 0 1 0 261916920 294658048 71303 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 71938 71303 310 324 0 71008 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 287752

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1506424/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=312400 CPUtime=462.01
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 77822 0 0 0 46135 66 0 0 25 0 1 0 261916920 319897600 77463 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 78100 77463 310 324 0 77170 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 312400

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1486072/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=332820 CPUtime=521.97
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 82922 0 0 0 52127 70 0 0 25 0 1 0 261916920 340807680 82563 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 83205 82563 310 324 0 82275 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 332820

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1465016/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=353716 CPUtime=581.93
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88143 0 0 0 58119 74 0 0 25 0 1 0 261916920 362205184 87784 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8294160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88429 87784 310 324 0 87499 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 353716

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463160/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=641.91
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 64116 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 355140


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

[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=821.78
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 82103 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 355140

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=881.74
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 88099 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 355140

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=941.7
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 94095 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 355140

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1001.67
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 100092 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 355140

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463096/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1061.63
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 106088 75 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 355140

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463096/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1121.6
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 112084 76 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 355140

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463096/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1181.56
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 118080 76 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8294119 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 355140

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1462968/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1241.52
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88702 0 0 0 124076 76 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 355140

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1462968/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1301.49
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 130073 76 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1301.49
Current children cumulated vsize (KiB) 355140

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1361.44
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 136068 76 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1361.44
Current children cumulated vsize (KiB) 355140

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1462968/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1421.42
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 142065 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1421.42
Current children cumulated vsize (KiB) 355140

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8025
/proc/meminfo: memFree=1462968/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1481.37
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 148060 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 355140

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 8025
/proc/meminfo: memFree=1462968/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1541.33
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 154056 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571798 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 355140

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1601.3
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 160053 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 355140

[startup+1662.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1661.26
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 166049 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1661.26
Current children cumulated vsize (KiB) 355140

[startup+1722.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 8025
/proc/meminfo: memFree=1463032/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1721.22
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 172045 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1721.22
Current children cumulated vsize (KiB) 355140

[startup+1782.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 8025
/proc/meminfo: memFree=1462840/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1781.19
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 178042 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 355140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.12 1.05 1.01 2/78 8025
/proc/meminfo: memFree=1462840/2055920 swapFree=4147168/4192956
[pid=8024] ppid=8022 vsize=355140 CPUtime=1800.08
/proc/8024/stat : 8024 (bsolo3.0.17) R 8022 8024 7959 0 -1 4194304 88884 0 0 0 179931 77 0 0 25 0 1 0 261916920 363663360 88160 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8024/statm: 88785 88160 310 324 0 87855 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 355140

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1801.26
CPU time (s): 1800.15
CPU user time (s): 1799.31
CPU system time (s): 0.835872
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 355872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.835872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88888
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= 12
involuntary context switches= 41249

runsolver used 1.82872 second user time and 4.73328 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Wed May  2 21:06:35 UTC 2007

IDJOB= 453471
IDBENCH= 48132
IDSOLVER= 199
FILE ID= node18/453471-1178139995

PBS_JOBID= 4751073

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453471-1178139995/instance-453471-1178139995.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-453471-1178139995 -o ROOT/results/node18/solver-453471-1178139995 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453471-1178139995/instance-453471-1178139995.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 122454274

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815824 kB
Buffers:         91320 kB
Cached:          57044 kB
SwapCached:      15040 kB
Active:          94028 kB
Inactive:        79668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815824 kB
SwapTotal:     4192956 kB
SwapFree:      4147168 kB
Dirty:            6880 kB
Writeback:           0 kB
Mapped:          29624 kB
Slab:            52032 kB
Committed_AS:  8462892 kB
PageTables:       1776 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= 66558 MiB

End job on node18 on Wed May  2 21:36:39 UTC 2007