Trace number 351499

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.16SAT262859 1800.04 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
MD5SUMf36b59f1fcf0c7e8fce521b6b9823495
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262858
Best CPU time to get the best result obtained on this benchmark496.259
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262858
Optimality of the best value was proved YES
Number of variables290
Total number of constraints212
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint8
Maximum length of a constraint263
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524422
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/351499-1176603346/instance-351499-1176603346.opb
0.00/0.00	c File size is 68604 bytes.
0.00/0.01	c Highest Coefficient sum: 524422
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 290 Constr: 247 134/109/4 Lit: 9533 Watch. Lit: 2201
0.00/0.01	c Obj. Vars: 31 (10.6897 % of total variables)
0.04/0.05	c Pre-processing Time: 0.048 s
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0    258      247     9533   38     2466   12774      0      0 0.05
0.04/0.05	c Switching off LPR mode.
0.09/0.14	c      105    258      352    13315   37     2676   14052    105   1615 0.07
0.09/0.14	c      256    258      503    21176   42     2978   15458    256   2976 0.09
0.09/0.14	c      481    258      728    34523   47     3428   17004    481   3700 0.13
0.09/0.14	o 263445	0.14
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      517    258      765    37080   48     3526   12826    518   3692 0.14
0.09/0.16	o 263157	0.164
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      614    258      863    42554   49     3746   12826    616   3743 0.16
0.09/0.17	o 263114	0.17
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      630    257      880    43489   49     3802   12824    633   3705 0.17
0.09/0.17	o 262975	0.173
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c      646    257      897    44211   49     3859   12824    650   3734 0.17
1.29/1.36	c      746    257      997    50470   50     4059   14107    750   3767 0.20
1.29/1.36	c      998    257     1249    71734   57     4563   15518   1002   3669 0.27
1.29/1.36	c     1473    256     1724   101186   58     5512   17070   1477   3856 0.38
1.29/1.36	c     2289    256     2540   157677   62     7144   18778   2293   3452 0.66
1.29/1.36	c     3612    256     3863   239160   61     9790   20656   3616   3479 1.04
1.29/1.36	o 262949	1.362
3.79/3.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.83	c     4367    256     4619   292191   63    11324   12822   4372   3206 1.36
3.79/3.83	c     4468    256     4720   298395   63    11526   14105   4473   3177 1.41
3.79/3.83	c     4720    256     4972   314732   63    12030   15516   4725   3021 1.56
3.79/3.83	c     5196    256     5448   355048   65    12982   17068   5201   2775 1.87
3.79/3.83	c     6011    256     6263   426029   68    14612   18775   6016   2408 2.50
3.79/3.83	c     7333    255     7585   537956   70    17255   20653   7338   2029 3.61
3.79/3.83	o 262877	3.829
102.35/102.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.35/102.44	c     7721    255     7974   563927   70    18054   12820   7727   2015 3.83
102.35/102.44	c     7822    255     8075   569173   70    18256   14103   7828   1997 3.92
102.35/102.44	c     8073    255     8326   586492   70    18758   15514   8079   1946 4.15
102.35/102.44	c     8553    255     8806   622063   70    19718   17066   8559   1842 4.64
102.35/102.44	c     9367    255     9620   679187   70    21346   18773   9373   1768 5.30
102.35/102.44	c    10687    254    10940   790268   72    23985   20651  10693   1476 7.24
102.35/102.44	c    12770    254    13023   965272   74    28151   22717  12776   1276 10.00
102.35/102.44	c    15996    254    16249  1285151   79    34603   24989  16002    983 16.27
102.35/102.44	c    20933    254    21186  1756976   82    44477   27488  20939    741 28.24
102.35/102.44	c    28442    254    14127  1142660   80    30243   30237  13880    542 52.44
102.35/102.44	c    39805    254    25490  2262230   88    52969   33261  25243    496 80.25
102.35/102.44	o 262861	102.401
163.63/163.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.63/163.74	c    45393    254    31079  2750277   88    64166   12818  30832    443 102.40
163.63/163.74	c    45493    254     6775   489212   72    15538   14100   6528    440 103.28
163.63/163.74	c    45743    254     7025   511253   72    16038   15511   6778    442 103.44
163.63/163.74	c    46218    254     7500   551929   73    16988   17063   7253    445 103.84
163.63/163.74	c    47033    254     8315   633076   76    18618   18770   8068    450 104.47
163.63/163.74	c    48355    254     9637   744374   77    21262   20648   9390    457 105.72
163.63/163.74	c    50436    254    11718   899609   76    25424   22713  11471    468 107.66
163.63/163.74	c    53659    254    14941  1209205   80    31870   24985  14694    481 111.36
163.63/163.74	c    58595    254    19877  1587012   79    41742   27484  19630    486 120.45
163.63/163.74	c    66102    254    27384  2333049   85    56756   30233  27137    474 139.21
163.63/163.74	o 262860	163.69
271.10/271.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
271.10/271.28	c    74208    254    18414  1591019   86    38835   12818  18167    453 163.69
271.10/271.28	c    74308    254     6805   497421   73    15587   14100   6558    453 163.96
271.10/271.28	c    74558    254     7055   511576   72    16085   15511   6808    454 164.10
271.10/271.28	c    75033    254     7530   531296   70    17032   17063   7283    456 164.53
271.10/271.28	c    75848    254     8345   569518   68    18660   18770   8098    459 165.15
271.10/271.28	c    77168    254     9665   624256   64    21300   20648   9418    463 166.53
271.10/271.28	c    79249    254    11746   720328   61    25462   22713  11499    467 169.50
271.10/271.28	c    82473    254    14970   870604   58    31910   24985  14723    471 174.74
271.10/271.28	c    87410    254    19907  1282278   64    41784   27484  19660    473 184.54
271.10/271.28	c    94917    254    27414  1901976   69    56816   30233  27167    481 197.15
271.10/271.28	c   106279    254    21222  1775710   83    44432   33257  20975    481 220.66
271.10/271.28	o 262859	271.192
1799.96/1801.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1801.16	c   119660    254    14559  1141405   78    31123   12818  14312    441 271.19
1799.96/1801.16	c   119760    254     6829   433156   63    15644   14100   6582    441 271.42
1799.96/1801.16	c   120010    254     7079   456298   64    16146   15511   6832    441 271.72
1799.96/1801.16	c   120485    254     7554   497396   65    17096   17063   7307    442 272.06
1799.96/1801.16	c   121298    254     8367   570394   68    18718   18770   8120    444 272.91
1799.96/1801.16	c   122619    254     9688   694142   71    21364   20648   9441    446 274.34
1799.96/1801.16	c   124701    254    11770   900001   76    25524   22713  11523    448 277.83
1799.96/1801.16	c   127924    254    14993  1216461   81    31974   24985  14746    452 282.64
1799.96/1801.16	c   132861    254    19930  1702922   85    41844   27484  19683    450 294.63
1799.96/1801.16	c   140367    254    27436  2417937   88    56842   30233  27189    444 316.13
1799.96/1801.16	c   151728    254    21870  1766504   80    45728   33257  21623    447 338.93
1799.96/1801.16	c   168872    254    19025  1852538   97    40038   36583  18778    428 393.72
1799.96/1801.16	c   194693    254    22333  2089635   93    46654   40242  22086    414 469.62
1799.96/1801.16	c   233528    254    34954  3548415  101    71896   44267  34707    368 633.43
1799.96/1801.16	c   291882    254    33392  3660076  109    68769   48694  33145    311 936.97
1799.96/1801.16	c   379514    254    22675  1910337   84    47338   53564  22428    276 1374.61
1799.96/1801.16	c Resources Exceeded
1799.96/1801.16	v x180 x181 x182 x183 x184 x185 x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203
1799.96/1801.16	v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 -x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101
1799.96/1801.16	v -x113 -x124 x135 -x146 -x157 -x168 -x179 -x211 x212 -x213 -x215 -x219 -x220 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229
1799.96/1801.16	v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x248 -x252 -x253 -x254 -x255
1799.96/1801.16	v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1799.96/1801.16	v -x279 -x281 -x285 -x286 x287 -x288 -x289 -x290 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21
1799.96/1801.16	v -x22 -x23 -x25 -x29 -x30 x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1799.96/1801.16	v -x54 -x55 -x56 -x58 -x62 -x63 -x64 -x65 -x66 x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85
1799.96/1801.16	v -x86 -x87 -x88 -x89 -x91 -x95 x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x114 x115
1799.96/1801.16	v -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141
1799.96/1801.16	v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167
1799.96/1801.16	v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28
1799.96/1801.16	v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92
1799.96/1801.16	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1801.16	c   66   461697 104307   760696    29462  2675306  29215    256 1800.03
1799.96/1801.16	c Objective: 262859
1799.96/1801.16	s SATISFIABLE
1799.96/1801.16	c Total time: 1800.03 s

Verifier Data (download as text)

OK	262859

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node3/watcher-351499-1176603346 -o ROOT/results/node3/solver-351499-1176603346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.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.92 0.99 0.99 3/77 31865
/proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=11804 CPUtime=0
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 136372341 12087296 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 2951 338 282 324 0 2003 0

[startup+0.049009 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 31865
/proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=4320 CPUtime=0.04
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 503 0 0 0 4 0 0 0 18 0 1 0 136372341 4423680 454 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 1080 454 307 324 0 149 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4320

[startup+0.101016 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 31865
/proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=4448 CPUtime=0.09
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 529 0 0 0 9 0 0 0 18 0 1 0 136372341 4554752 480 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 1112 480 312 324 0 181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4448

[startup+0.301049 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 31865
/proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=5224 CPUtime=0.29
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 729 0 0 0 29 0 0 0 19 0 1 0 136372341 5349376 680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 1306 680 313 324 0 375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5224

[startup+0.701113 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 31865
/proc/meminfo: memFree=1652512/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=6516 CPUtime=0.69
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 1043 0 0 0 69 0 0 0 23 0 1 0 136372341 6672384 994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 1629 994 313 324 0 698 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6516

[startup+1.50124 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1648728/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=8460 CPUtime=1.49
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 1549 0 0 0 148 1 0 0 25 0 1 0 136372341 8663040 1500 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 2115 1500 313 324 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8460

[startup+3.1015 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1646296/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=11060 CPUtime=3.09
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 2191 0 0 0 307 2 0 0 25 0 1 0 136372341 11325440 2142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11366030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 2765 2142 313 324 0 1834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11060

[startup+6.30202 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1641944/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=14692 CPUtime=6.29
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 3111 0 0 0 626 3 0 0 25 0 1 0 136372341 15044608 3062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 3673 3062 313 324 0 2742 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14692

[startup+12.7021 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1636760/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=19612 CPUtime=12.68
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 4340 0 0 0 1263 5 0 0 25 0 1 0 136372341 20082688 4291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 4903 4291 313 324 0 3972 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19612

[startup+25.5011 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1628632/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=27364 CPUtime=25.49
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 6282 0 0 0 2539 10 0 0 25 0 1 0 136372341 28020736 6233 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 6841 6233 313 324 0 5910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27364

[startup+51.1013 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1618904/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=37196 CPUtime=51.07
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 8742 0 0 0 5092 15 0 0 25 0 1 0 136372341 38088704 8693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 9299 8693 313 324 0 8368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37196

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1613528/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=42492 CPUtime=102.26
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10058 0 0 0 10206 20 0 0 25 0 1 0 136372341 43511808 10009 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 10623 10009 313 324 0 9692 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42492

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1613336/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=42616 CPUtime=162.23
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10096 0 0 0 16198 25 0 0 25 0 1 0 136372341 43638784 10047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11355989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 10654 10047 313 324 0 9723 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42616

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1613272/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=42612 CPUtime=222.22
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10096 0 0 0 22189 33 0 0 25 0 1 0 136372341 43634688 10047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 10653 10047 313 324 0 9722 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 42612

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1610520/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=45312 CPUtime=282.2
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10786 0 0 0 28181 39 0 0 25 0 1 0 136372341 46399488 10704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 11328 10704 313 324 0 10397 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 45312

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 31866
/proc/meminfo: memFree=1610520/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=45312 CPUtime=342.18
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 10802 0 0 0 34174 44 0 0 25 0 1 0 136372341 46399488 10720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 11328 10720 313 324 0 10397 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 45312

[startup+402.301 s]
/proc/loadavg: 1.34 1.07 1.02 2/85 8119
/proc/meminfo: memFree=1595160/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=46572 CPUtime=402.02
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 11147 0 0 0 40152 50 0 0 25 0 1 0 136372341 47689728 11029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31865/statm: 11643 11029 313 324 0 10712 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 46572

[startup+462.301 s]
/proc/loadavg: 1.93 1.28 1.09 5/85 27945
/proc/meminfo: memFree=1563352/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=54972 CPUtime=461.66
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 13265 0 0 0 46100 66 0 0 25 0 1 0 136372341 56291328 13111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31865/statm: 13743 13111 313 324 0 12812 0
Current children cumulated CPU time (s) 461.66
Current children cumulated vsize (KiB) 54972

[startup+522.302 s]
/proc/loadavg: 1.48 1.28 1.10 2/78 1679
/proc/meminfo: memFree=1559440/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=54972 CPUtime=521.56
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 13265 0 0 0 52085 71 0 0 25 0 1 0 136372341 56291328 13111 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 13743 13111 313 324 0 12812 0
Current children cumulated CPU time (s) 521.56
Current children cumulated vsize (KiB) 54972

[startup+582.302 s]
/proc/loadavg: 1.17 1.23 1.09 2/78 1679
/proc/meminfo: memFree=1554448/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=59864 CPUtime=581.54
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 14555 0 0 0 58079 75 0 0 25 0 1 0 136372341 61300736 14361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 14966 14361 313 324 0 14035 0
Current children cumulated CPU time (s) 581.54
Current children cumulated vsize (KiB) 59864

[startup+642.301 s]
/proc/loadavg: 1.06 1.19 1.09 2/78 1679
/proc/meminfo: memFree=1554448/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=59864 CPUtime=641.52
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 14555 0 0 0 64074 78 0 0 25 0 1 0 136372341 61300736 14361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 14966 14361 313 324 0 14035 0
Current children cumulated CPU time (s) 641.52
Current children cumulated vsize (KiB) 59864


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

/proc/meminfo: memFree=1540376/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1061.39
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 106039 100 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17866 313 324 0 17562 0
Current children cumulated CPU time (s) 1061.39
Current children cumulated vsize (KiB) 73972

[startup+1122.3 s]
/proc/loadavg: 1.07 1.05 1.05 2/78 1681
/proc/meminfo: memFree=1540376/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1121.37
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 112034 103 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17866 313 324 0 17562 0
Current children cumulated CPU time (s) 1121.37
Current children cumulated vsize (KiB) 73972

[startup+1182.3 s]
/proc/loadavg: 1.02 1.04 1.04 2/78 1681
/proc/meminfo: memFree=1540568/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1181.35
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18196 0 0 0 118029 106 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17866 313 324 0 17562 0
Current children cumulated CPU time (s) 1181.35
Current children cumulated vsize (KiB) 73972

[startup+1242.3 s]
/proc/loadavg: 1.01 1.03 1.04 2/78 1681
/proc/meminfo: memFree=1540440/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1241.33
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18244 0 0 0 124024 109 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17866 313 324 0 17562 0
Current children cumulated CPU time (s) 1241.33
Current children cumulated vsize (KiB) 73972

[startup+1302.3 s]
/proc/loadavg: 1.07 1.04 1.04 2/78 1681
/proc/meminfo: memFree=1540504/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1301.32
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18244 0 0 0 130019 113 0 0 25 0 1 0 136372341 75747328 17866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17866 313 324 0 17562 0
Current children cumulated CPU time (s) 1301.32
Current children cumulated vsize (KiB) 73972

[startup+1362.3 s]
/proc/loadavg: 1.08 1.04 1.04 2/78 1681
/proc/meminfo: memFree=1540440/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1361.29
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 136014 115 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17867 313 324 0 17562 0
Current children cumulated CPU time (s) 1361.29
Current children cumulated vsize (KiB) 73972

[startup+1422.31 s]
/proc/loadavg: 1.03 1.03 1.03 2/78 1681
/proc/meminfo: memFree=1540504/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1421.28
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 142009 119 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17867 313 324 0 17562 0
Current children cumulated CPU time (s) 1421.28
Current children cumulated vsize (KiB) 73972

[startup+1482.3 s]
/proc/loadavg: 1.01 1.02 1.03 2/78 1681
/proc/meminfo: memFree=1540568/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=73972 CPUtime=1481.25
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 18293 0 0 0 148004 121 0 0 25 0 1 0 136372341 75747328 17867 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 18493 17867 313 324 0 17562 0
Current children cumulated CPU time (s) 1481.25
Current children cumulated vsize (KiB) 73972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.02 2/78 1681
/proc/meminfo: memFree=1537496/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=76968 CPUtime=1541.24
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 154001 123 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19242 18609 313 324 0 18311 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 76968

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.01 2/78 1681
/proc/meminfo: memFree=1537496/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=76968 CPUtime=1601.21
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 159994 127 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19242 18609 313 324 0 18311 0
Current children cumulated CPU time (s) 1601.21
Current children cumulated vsize (KiB) 76968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.01 2/78 1681
/proc/meminfo: memFree=1537560/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=76968 CPUtime=1661.2
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 165990 130 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19242 18609 313 324 0 18311 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 76968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1537560/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=76968 CPUtime=1721.18
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19088 0 0 0 171985 133 0 0 25 0 1 0 136372341 78815232 18609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19242 18609 313 324 0 18311 0
Current children cumulated CPU time (s) 1721.18
Current children cumulated vsize (KiB) 76968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1781.16
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 177979 137 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 79288

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1790.76
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 178939 137 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1790.76
Current children cumulated vsize (KiB) 79288

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1793.97
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179259 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1793.97
Current children cumulated vsize (KiB) 79288

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1797.16
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179578 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 79288

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1798.76
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179738 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 79288

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1799.56
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179818 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 79288

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1681
/proc/meminfo: memFree=1535128/2055920 swapFree=4153856/4192956
[pid=31865] ppid=31863 vsize=79288 CPUtime=1799.96
/proc/31865/stat : 31865 (bsolo3.0.16) R 31863 31865 30046 0 -1 4194304 19734 0 0 0 179858 138 0 0 25 0 1 0 136372341 81190912 19202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31865/statm: 19822 19202 313 324 0 18891 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 79288

Child status: 0
Real time (s): 1801.18
CPU time (s): 1800.04
CPU user time (s): 1798.65
CPU system time (s): 1.39679
CPU usage (%): 99.9369
Max. virtual memory (cumulated for all children) (KiB): 79500

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

runsolver used 2.04169 second user time and 4.47132 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Sun Apr 15 02:15:46 UTC 2007

IDJOB= 351499
IDBENCH= 1770
IDSOLVER= 163
FILE ID= node3/351499-1176603346

PBS_JOBID= 4556809

Free space on /tmp= 66553 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-351499-1176603346 -o ROOT/results/node3/solver-351499-1176603346 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351499-1176603346/instance-351499-1176603346.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  f36b59f1fcf0c7e8fce521b6b9823495

RANDOM SEED= 221761945

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1652856 kB
Buffers:         39592 kB
Cached:         274620 kB
SwapCached:       2600 kB
Active:         155840 kB
Inactive:       182420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1652856 kB
SwapTotal:     4192956 kB
SwapFree:      4153856 kB
Dirty:            4476 kB
Writeback:           0 kB
Mapped:          31920 kB
Slab:            50312 kB
Committed_AS:  4935664 kB
PageTables:       1780 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= 66553 MiB

End job on node3 on Sun Apr 15 02:45:47 UTC 2007