Trace number 432763

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)262859 1800.06 1800.74

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.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/432763-1177949133/instance-432763-1177949133.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.013 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.00/0.05	c Pre-processing Time: 0.048 s
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    258      247     9533   38     2466   12774      0      0 0.05
0.00/0.05	c Switching off LPR mode.
0.09/0.14	c      105    258      352    13315   37     2676   14052    105   1640 0.06
0.09/0.14	c      256    258      503    21176   42     2978   15458    256   3011 0.09
0.09/0.14	c      481    258      728    34523   47     3428   17004    481   3757 0.13
0.09/0.14	o 263445	0.138
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   3746 0.14
0.09/0.16	o 263157	0.162
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   3790 0.16
0.09/0.17	o 263114	0.167
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   3772 0.17
0.09/0.17	o 262975	0.171
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c      646    257      897    44211   49     3859   12824    650   3777 0.17
1.29/1.34	c      746    257      997    50470   50     4059   14107    750   3825 0.20
1.29/1.34	c      998    257     1249    71734   57     4563   15518   1002   3723 0.27
1.29/1.34	c     1473    256     1724   101186   58     5512   17070   1477   3928 0.38
1.29/1.34	c     2289    256     2540   157677   62     7144   18778   2293   3516 0.65
1.29/1.34	c     3612    256     3863   239160   61     9790   20656   3616   3541 1.02
1.29/1.34	o 262949	1.339
3.69/3.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.75	c     4367    256     4619   292191   63    11324   12822   4372   3261 1.34
3.69/3.75	c     4468    256     4720   298395   63    11526   14105   4473   3232 1.38
3.69/3.75	c     4720    256     4972   314732   63    12030   15516   4725   3074 1.53
3.69/3.75	c     5196    256     5448   355048   65    12982   17068   5201   2828 1.84
3.69/3.75	c     6011    256     6263   426029   68    14612   18775   6016   2457 2.45
3.69/3.75	c     7333    255     7585   537956   70    17255   20653   7338   2069 3.54
3.69/3.75	o 262877	3.754
101.84/101.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.84/101.96	c     7721    255     7974   563927   70    18054   12820   7727   2056 3.75
101.84/101.96	c     7822    255     8075   569173   70    18256   14103   7828   2037 3.84
101.84/101.96	c     8073    255     8326   586492   70    18758   15514   8079   1985 4.07
101.84/101.96	c     8553    255     8806   622063   70    19718   17066   8559   1879 4.55
101.84/101.96	c     9367    255     9620   679187   70    21346   18773   9373   1804 5.19
101.84/101.96	c    10687    254    10940   790268   72    23985   20651  10693   1504 7.10
101.84/101.96	c    12770    254    13023   965272   74    28151   22717  12776   1296 9.85
101.84/101.96	c    15996    254    16249  1285151   79    34603   24989  16002    991 16.14
101.84/101.96	c    20933    254    21186  1756976   82    44477   27488  20939    748 27.96
101.84/101.96	c    28442    254    14127  1142660   80    30243   30237  13880    545 52.10
101.84/101.96	c    39805    254    25490  2262230   88    52969   33261  25243    498 79.85
101.84/101.96	o 262861	101.921
162.92/163.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
162.92/163.05	c    45393    254    31079  2750277   88    64166   12818  30832    445 101.92
162.92/163.05	c    45493    254     6775   489212   72    15538   14100   6528    442 102.79
162.92/163.05	c    45743    254     7025   511253   72    16038   15511   6778    444 102.95
162.92/163.05	c    46218    254     7500   551929   73    16988   17063   7253    447 103.34
162.92/163.05	c    47033    254     8315   633076   76    18618   18770   8068    452 103.97
162.92/163.05	c    48355    254     9637   744374   77    21262   20648   9390    459 105.20
162.92/163.05	c    50436    254    11718   899609   76    25424   22713  11471    470 107.12
162.92/163.05	c    53659    254    14941  1209205   80    31870   24985  14694    484 110.83
162.92/163.05	c    58595    254    19877  1587012   79    41742   27484  19630    488 119.93
162.92/163.05	c    66102    254    27384  2333049   85    56756   30233  27137    476 138.63
162.92/163.05	o 262860	162.985
269.98/270.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
269.98/270.12	c    74208    254    18414  1591019   86    38835   12818  18167    455 162.99
269.98/270.12	c    74308    254     6805   497421   73    15587   14100   6558    455 163.25
269.98/270.12	c    74558    254     7055   511576   72    16085   15511   6808    456 163.39
269.98/270.12	c    75033    254     7530   531296   70    17032   17063   7283    458 163.81
269.98/270.12	c    75848    254     8345   569518   68    18660   18770   8098    461 164.42
269.98/270.12	c    77168    254     9665   624256   64    21300   20648   9418    465 165.77
269.98/270.12	c    79249    254    11746   720328   61    25462   22713  11499    469 168.70
269.98/270.12	c    82473    254    14970   870604   58    31910   24985  14723    474 173.94
269.98/270.12	c    87410    254    19907  1282278   64    41784   27484  19660    475 183.66
269.98/270.12	c    94917    254    27414  1901976   69    56816   30233  27167    483 196.26
269.98/270.12	c   106279    254    21222  1775710   83    44432   33257  20975    483 219.66
269.98/270.12	o 262859	270.019
1800.03/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.71	c   119660    254    14559  1141405   78    31123   12818  14312    443 270.02
1800.03/1800.71	c   119760    254     6829   433156   63    15644   14100   6582    443 270.25
1800.03/1800.71	c   120010    254     7079   456298   64    16146   15511   6832    443 270.55
1800.03/1800.71	c   120485    254     7554   497396   65    17096   17063   7307    444 270.89
1800.03/1800.71	c   121298    254     8367   570394   68    18718   18770   8120    446 271.74
1800.03/1800.71	c   122619    254     9688   694142   71    21364   20648   9441    448 273.19
1800.03/1800.71	c   124701    254    11770   900001   76    25524   22713  11523    450 276.69
1800.03/1800.71	c   127924    254    14993  1216461   81    31974   24985  14746    454 281.44
1800.03/1800.71	c   132861    254    19930  1702922   85    41844   27484  19683    452 293.39
1800.03/1800.71	c   140367    254    27436  2417937   88    56842   30233  27189    445 314.83
1800.03/1800.71	c   151728    254    21870  1766504   80    45728   33257  21623    449 337.54
1800.03/1800.71	c   168872    254    19025  1852538   97    40038   36583  18778    430 392.48
1800.03/1800.71	c   194693    254    22333  2089635   93    46654   40242  22086    414 469.22
1800.03/1800.71	c   233528    254    34954  3548415  101    71896   44267  34707    369 632.50
1800.03/1800.71	c   291882    254    33392  3660076  109    68769   48694  33145    312 934.62
1800.03/1800.71	c   379514    254    22675  1910337   84    47338   53564  22428    276 1370.59
1800.03/1800.71	c Caught signal: 15
1800.03/1800.71	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
1800.03/1800.71	v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 -x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101
1800.03/1800.71	v -x113 -x124 x135 -x146 -x157 -x168 -x179 -x211 x212 -x213 -x215 -x219 -x220 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229
1800.03/1800.71	v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x248 -x252 -x253 -x254 -x255
1800.03/1800.71	v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.03/1800.71	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
1800.03/1800.71	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
1800.03/1800.71	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
1800.03/1800.71	v -x86 -x87 -x88 -x89 -x91 -x95 x96 -x97 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x114 x115
1800.03/1800.71	v -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141
1800.03/1800.71	v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167
1800.03/1800.71	v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28
1800.03/1800.71	v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92
1800.03/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.71	c   66   462757 104497   762117    30522  2798520  30275    257 1800.04
1800.03/1800.71	c Objective: 262859
1800.03/1800.71	s SATISFIABLE
1800.03/1800.71	c Total time: 1800.04 s

Verifier Data (download as text)

OK	262859

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-432763-1177949133 -o ROOT/results/node67/solver-432763-1177949133 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.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.99 0.97 0.91 3/64 32273
/proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=11804 CPUtime=0
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270902852 12087296 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 2951 333 279 324 0 2004 0

[startup+0.013983 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32273
/proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=4124 CPUtime=0
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 403 0 0 0 0 0 0 0 18 0 1 0 270902852 4222976 373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 1031 373 293 324 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4124

[startup+0.102999 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32273
/proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=4448 CPUtime=0.09
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 530 0 0 0 9 0 0 0 18 0 1 0 270902852 4554752 483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 1112 483 310 324 0 182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4448

[startup+0.301042 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32273
/proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=5224 CPUtime=0.29
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 731 0 0 0 29 0 0 0 19 0 1 0 270902852 5349376 684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 1306 684 311 324 0 376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5224

[startup+0.701107 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32273
/proc/meminfo: memFree=1717104/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=6516 CPUtime=0.69
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 1053 0 0 0 69 0 0 0 22 0 1 0 270902852 6672384 1006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 1629 1006 311 324 0 699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6516

[startup+1.50125 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1713320/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=8588 CPUtime=1.49
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 1559 0 0 0 149 0 0 0 25 0 1 0 270902852 8794112 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 2147 1512 311 324 0 1217 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8588

[startup+3.10155 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1711016/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=11196 CPUtime=3.09
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 2211 0 0 0 308 1 0 0 25 0 1 0 270902852 11464704 2164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 2799 2164 311 324 0 1869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11196

[startup+6.30113 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1706408/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=14820 CPUtime=6.28
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 3126 0 0 0 627 1 0 0 25 0 1 0 270902852 15175680 3079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 3705 3079 311 324 0 2775 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14820

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1701224/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=19740 CPUtime=12.69
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 4352 0 0 0 1266 3 0 0 25 0 1 0 270902852 20213760 4305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 4935 4305 311 324 0 4005 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19740

[startup+25.5026 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1693160/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=27492 CPUtime=25.48
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 6313 0 0 0 2544 4 0 0 25 0 1 0 270902852 28151808 6266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 6873 6266 311 324 0 5943 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27492

[startup+51.1023 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1683304/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=37196 CPUtime=51.07
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 8738 0 0 0 5100 7 0 0 25 0 1 0 270902852 38088704 8691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 9299 8691 311 324 0 8369 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37196

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1677864/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=42616 CPUtime=102.25
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 10217 8 0 0 25 0 1 0 270902852 43638784 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 10654 10045 311 324 0 9724 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42616

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1677800/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=42616 CPUtime=162.22
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 16214 8 0 0 25 0 1 0 270902852 43638784 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 10654 10045 311 324 0 9724 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 42616

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1677736/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=42612 CPUtime=222.2
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10092 0 0 0 22212 8 0 0 25 0 1 0 270902852 43634688 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 10653 10045 311 324 0 9723 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 42612

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1675048/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=45312 CPUtime=282.18
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10782 0 0 0 28209 9 0 0 25 0 1 0 270902852 46399488 10702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 11328 10702 311 324 0 10398 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 45312

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1675112/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=45312 CPUtime=342.16
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 10798 0 0 0 34206 10 0 0 25 0 1 0 270902852 46399488 10718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 11328 10718 311 324 0 10398 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 45312

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1673704/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=46572 CPUtime=402.14
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 11143 0 0 0 40204 10 0 0 25 0 1 0 270902852 47689728 11027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 11643 11027 311 324 0 10713 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 46572

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1665384/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=54972 CPUtime=462.12
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 13261 0 0 0 46199 13 0 0 25 0 1 0 270902852 56291328 13109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 13743 13109 311 324 0 12813 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 54972

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1665384/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=54972 CPUtime=522.09
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 13261 0 0 0 52196 13 0 0 25 0 1 0 270902852 56291328 13109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 13743 13109 311 324 0 12813 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 54972

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1660264/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=59864 CPUtime=582.07
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 14551 0 0 0 58192 15 0 0 25 0 1 0 270902852 61300736 14359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 14966 14359 311 324 0 14036 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 59864

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1660264/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=59864 CPUtime=642.05
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 14551 0 0 0 64190 15 0 0 25 0 1 0 270902852 61300736 14359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323364 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 14966 14359 311 324 0 14036 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 59864


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1649512/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=70604 CPUtime=881.96
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 88178 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 17651 17021 311 324 0 16721 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 70604

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1649512/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=70604 CPUtime=941.94
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 94176 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 17651 17021 311 324 0 16721 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 70604

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1649576/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=70604 CPUtime=1001.92
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 17301 0 0 0 100174 18 0 0 25 0 1 0 270902852 72298496 17021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 17651 17021 311 324 0 16721 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 70604

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1061.89
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 106170 19 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17864 311 324 0 17563 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 73972

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1121.87
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 112168 19 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17864 311 324 0 17563 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 73972

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1181.86
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18192 0 0 0 118166 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17864 311 324 0 17563 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 73972

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1241.83
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18240 0 0 0 124163 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17864 311 324 0 17563 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 73972

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646120/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1301.81
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18240 0 0 0 130161 20 0 0 25 0 1 0 270902852 75747328 17864 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17864 311 324 0 17563 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 73972

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1645992/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1361.79
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 136159 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17865 311 324 0 17563 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 73972

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1645992/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1421.77
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 142157 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17865 311 324 0 17563 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 73972

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1646056/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=73972 CPUtime=1481.74
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 18289 0 0 0 148154 20 0 0 25 0 1 0 270902852 75747328 17865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 18493 17865 311 324 0 17563 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 73972

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1642984/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=76968 CPUtime=1541.72
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 154151 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19242 18607 311 324 0 18312 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 76968

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1642984/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=76968 CPUtime=1601.7
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 160149 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19242 18607 311 324 0 18312 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 76968

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1643240/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=76968 CPUtime=1661.67
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 166146 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19242 18607 311 324 0 18312 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 76968

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1643240/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=76968 CPUtime=1721.65
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19084 0 0 0 172144 21 0 0 25 0 1 0 270902852 78815232 18607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19242 18607 311 324 0 18312 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 76968

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=79288 CPUtime=1781.63
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 178141 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19822 19200 311 324 0 18892 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 79288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=79288 CPUtime=1800.03
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 179981 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19822 19200 311 324 0 18892 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 79288

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32274
/proc/meminfo: memFree=1640744/2055920 swapFree=4182996/4192956
[pid=32273] ppid=32271 vsize=79288 CPUtime=1800.03
/proc/32273/stat : 32273 (bsolo3.0.17) R 32271 32273 31175 0 -1 4194304 19730 0 0 0 179981 22 0 0 25 0 1 0 270902852 81190912 19200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32273/statm: 19822 19200 311 324 0 18892 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 79288

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.06
CPU user time (s): 1799.82
CPU system time (s): 0.237963
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 79500

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

runsolver used 1.40479 second user time and 3.52346 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Apr 30 16:05:33 UTC 2007

IDJOB= 432763
IDBENCH= 1770
IDSOLVER= 199
FILE ID= node67/432763-1177949133

PBS_JOBID= 4727532

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-432763-1177949133 -o ROOT/results/node67/solver-432763-1177949133 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432763-1177949133/instance-432763-1177949133.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f36b59f1fcf0c7e8fce521b6b9823495

RANDOM SEED= 659768753

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1717512 kB
Buffers:         22536 kB
Cached:         238668 kB
SwapCached:       3996 kB
Active:          60636 kB
Inactive:       210784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1717512 kB
SwapTotal:     4192956 kB
SwapFree:      4182996 kB
Dirty:            6644 kB
Writeback:           0 kB
Mapped:          16072 kB
Slab:            52984 kB
Committed_AS:  1305156 kB
PageTables:       1456 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 node67 on Mon Apr 30 16:35:36 UTC 2007