Trace number 454305

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.16SAT-34 1800.07 1801.38

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM5c1211f8aed9d33c9f0c9019d9cd9874
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-37
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint103
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

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.01	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/454305-1178024221/instance-454305-1178024221.opb
0.00/0.01	c File size is 473539 bytes.
0.18/0.21	c Highest Coefficient sum: 500
0.18/0.21	c Parsing was ok!!
0.18/0.21	c Total parsing time: 0.204 s
0.18/0.27	c Var: 37866 Constr: 75732 37866/500/37366 Lit: 298928 Watch. Lit: 224196
0.18/0.27	c Obj. Vars: 500 (1.32045 % of total variables)
2.89/2.92	c Pre-processing Time: 2.91 s
2.89/2.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.92	c        0    500    18683    56049    3    37366    6227      0      0 2.91
2.89/2.92	c Switching off LPR mode.
2.89/2.92	o -32	2.918
17.07/17.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.07/17.16	c        0    500    18684    56549    3    37400    7227      1      0 2.92
17.07/17.16	c      100    500    18784   103058    5    37600    7950    101     33 2.95
17.07/17.16	c      350    500    19034   219035   11    38100    8746    351    115 3.02
17.07/17.16	c      826    500    19510   439978   22    39052    9621    827    259 3.19
17.07/17.16	c     1639    500    20323   817325   40    40678   10584   1640    457 3.58
17.07/17.16	c     2960    500    21644  1430201   66    43320   11643   2961    684 4.32
17.07/17.16	c     5041    500    23725  2396028  100    47482   12808   5042    883 5.71
17.07/17.16	c     8265    500    26949  3891551  144    53930   14089   8266    815 10.14
17.07/17.16	c    13201    500    31885  6181239  193    63802   15498  13202    819 16.10
17.07/17.16	o -33	17.143
474.00/474.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
474.00/474.40	c    13934    500    32619  6522058  199    65303    7227  13936    812 17.14
474.00/474.40	c    14034    500    32719  6568411  200    65503    7950  14036    815 17.21
474.00/474.40	c    14285    500    32970  6684806  202    66005    8746  14287    824 17.32
474.00/474.40	c    14761    500    33446  6905309  206    66957    9621  14763    842 17.51
474.00/474.40	c    15574    500    34259  7281736  212    68583   10584  15576    850 18.32
474.00/474.40	c    16894    500    35579  7893159  221    71223   11643  16896    870 19.40
474.00/474.40	c    18976    500    37661  8857344  235    75387   12808  18978    824 23.01
474.00/474.40	c    22199    500    40884 10348014  253    81833   14089  22201    782 28.39
474.00/474.40	c    27135    500    45820 12634422  275    91705   15498  27137    750 36.16
474.00/474.40	c    34641    500    53326 16109254  302   106717   17048  34643    723 47.87
474.00/474.40	c    46002    500    64687 21364134  330   129439   18753  46004    669 68.75
474.00/474.40	c    63146    500    34616  7432256  214    69265   20629  15933    420 150.25
474.00/474.40	c    88965    500    60435 19394261  320   120903   22692  41752    338 262.62
474.00/474.40	c   127799    500    50087 14597869  291   100207   24962  31404    274 464.75
474.00/474.40	o -34	474.009
1799.98/1801.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1801.31	c   130409    500    52698 15807270  299   105463    7227  34015    275 474.01
1799.98/1801.31	c   130509    500    52798 15853466  300   105663    7950  34115    275 474.12
1799.98/1801.31	c   130760    500    53049 15969485  301   106165    8746  34366    275 474.50
1799.98/1801.31	c   131236    500    53525 16189331  302   107117    9621  34842    275 476.21
1799.98/1801.31	c   132049    500    54338 16565196  304   108743   10584  35655    276 476.71
1799.98/1801.31	c   133369    500    55658 17174811  308   111383   11643  36975    277 480.48
1799.98/1801.31	c   135450    500    57739 18136138  314   115545   12808  39056    280 482.22
1799.98/1801.31	c   138674    500    60963 19625338  321   121993   14089  42280    284 487.71
1799.98/1801.31	c   143611    500    65900 21904809  332   131867   15498  47217    290 494.90
1799.98/1801.31	c   151117    500    27813  4271828  153    55660   17048   9130    289 522.63
1799.98/1801.31	c   162478    500    39174  9518225  242    78382   18753  20491    298 544.61
1799.98/1801.31	c   179623    500    56319 17440912  309   112672   20629  37636    288 622.66
1799.98/1801.31	c   205442    500    33989  7121430  209    68012   22692  15306    269 762.91
1799.98/1801.31	c   244274    500    72821 25052425  344   145676   24962  54138    235 1039.44
1799.98/1801.31	c   302626    500    80233 28493045  355   160500   27459  61550    200 1507.10
1799.98/1801.31	c Resources Exceeded
1799.98/1801.32	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 -x29
1799.98/1801.32	v -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
1799.98/1801.32	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
1799.98/1801.32	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
1799.98/1801.32	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1799.98/1801.32	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1799.98/1801.32	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1799.98/1801.32	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1799.98/1801.32	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
1799.98/1801.32	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1799.98/1801.32	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1799.98/1801.32	v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1799.98/1801.32	v -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294
1799.98/1801.32	v -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1799.98/1801.32	v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1799.98/1801.32	v -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1799.98/1801.32	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378
1799.98/1801.32	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399
1799.98/1801.32	v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420
1799.98/1801.32	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441
1799.98/1801.32	v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1799.98/1801.32	v -x463 -x464 x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1799.98/1801.32	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500
1799.98/1801.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1801.32	c   38   338938  24207   368892    63260 20646467  44577    188 1800.01
1799.98/1801.32	c Objective: -34
1799.98/1801.32	s SATISFIABLE
1799.98/1801.32	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-34

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-454305-1178024221 -o ROOT/results/node67/solver-454305-1178024221 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454305-1178024221/instance-454305-1178024221.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.84 0.97 0.98 2/64 2595
/proc/meminfo: memFree=1778656/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=2520 CPUtime=0
/proc/2595/stat : 2595 (bsolo3.0.16) D 2593 2595 24034 0 -1 4194304 57 0 0 0 0 0 0 0 18 0 1 0 278411606 2580480 41 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6890276 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/2595/statm: 630 41 32 324 0 8 0

[startup+0.0504211 s]
/proc/loadavg: 0.84 0.97 0.98 2/64 2595
/proc/meminfo: memFree=1778656/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=6852 CPUtime=0.03
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 999 0 0 0 3 0 0 0 18 0 1 0 278411606 7016448 968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 1713 969 314 324 0 666 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6852

[startup+0.101429 s]
/proc/loadavg: 0.84 0.97 0.98 2/64 2595
/proc/meminfo: memFree=1778656/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=9952 CPUtime=0.08
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 1802 0 0 0 8 0 0 0 18 0 1 0 278411606 10190848 1771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 2488 1771 345 324 0 1441 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9952

[startup+0.301465 s]
/proc/loadavg: 0.84 0.97 0.98 2/64 2595
/proc/meminfo: memFree=1778656/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=24828 CPUtime=0.29
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 5618 0 0 0 26 3 0 0 19 0 1 0 278411606 25423872 5431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 6207 5431 307 324 0 5276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24828

[startup+0.701539 s]
/proc/loadavg: 0.84 0.97 0.98 2/64 2595
/proc/meminfo: memFree=1778656/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=24828 CPUtime=0.69
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 5618 0 0 0 66 3 0 0 23 0 1 0 278411606 25423872 5431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 6207 5431 307 324 0 5276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24828

[startup+1.50169 s]
/proc/loadavg: 0.84 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1758040/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=24828 CPUtime=1.49
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 5618 0 0 0 146 3 0 0 25 0 1 0 278411606 25423872 5431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 6207 5431 307 324 0 5276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24828

[startup+3.10198 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1757912/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=26352 CPUtime=3.08
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 6517 0 0 0 302 6 0 0 25 0 1 0 278411606 26984448 5812 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 6588 5812 313 324 0 5657 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 26352

[startup+6.30157 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1734104/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=54068 CPUtime=6.28
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 13470 0 0 0 619 9 0 0 25 0 1 0 278411606 55365632 12765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2595/statm: 13517 12765 313 324 0 12586 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54068

[startup+12.7017 s]
/proc/loadavg: 0.88 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1697888/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=87912 CPUtime=12.67
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 21921 0 0 0 1254 13 0 0 25 0 1 0 278411606 90021888 21216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 21978 21216 313 324 0 21047 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 87912

[startup+25.5011 s]
/proc/loadavg: 0.89 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1640032/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=143528 CPUtime=25.46
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 35813 0 0 0 2525 21 0 0 25 0 1 0 278411606 146972672 35108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 35882 35108 313 324 0 34951 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 143528

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1540640/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=243572 CPUtime=51.05
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 60821 0 0 0 5069 36 0 0 25 0 1 0 278411606 249417728 60116 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2595/statm: 60893 60116 313 324 0 59962 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 243572

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1437984/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=344440 CPUtime=102.21
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 86038 0 0 0 10165 56 0 0 25 0 1 0 278411606 352706560 85333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 86110 85333 313 324 0 85179 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 344440

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1427552/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=354496 CPUtime=162.17
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 88633 0 0 0 16157 60 0 0 25 0 1 0 278411606 363003904 87872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 88624 87872 313 324 0 87693 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 354496

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2596
/proc/meminfo: memFree=1427616/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=354496 CPUtime=222.11
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 88633 0 0 0 22147 64 0 0 25 0 1 0 278411606 363003904 87872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 88624 87872 313 324 0 87693 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 354496

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 2766
/proc/meminfo: memFree=1426096/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=354496 CPUtime=282.02
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 88633 0 0 0 28120 82 0 0 25 0 1 0 278411606 363003904 87872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 88624 87872 313 324 0 87693 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 354496

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1399584/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=382260 CPUtime=341.98
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 34108 90 0 0 25 0 1 0 278411606 391434240 94786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 95565 94786 313 324 0 94634 0
Current children cumulated CPU time (s) 341.98
Current children cumulated vsize (KiB) 382260

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1399648/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=382260 CPUtime=401.95
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 40104 91 0 0 25 0 1 0 278411606 391434240 94786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 95565 94786 313 324 0 94634 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 382260

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1399584/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=382260 CPUtime=461.91
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 46098 93 0 0 25 0 1 0 278411606 391434240 94786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 95565 94786 313 324 0 94634 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 382260

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1469408/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=312344 CPUtime=521.87
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 52089 98 0 0 25 0 1 0 278411606 319840256 77337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 78086 77337 313 324 0 77155 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 312344

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1469472/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=312344 CPUtime=581.83
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 58081 102 0 0 25 0 1 0 278411606 319840256 77337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 78086 77337 313 324 0 77155 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 312344

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2794
/proc/meminfo: memFree=1469536/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=312344 CPUtime=641.78
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 95607 0 0 0 64074 104 0 0 25 0 1 0 278411606 319840256 77337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 78086 77337 313 324 0 77155 0
Current children cumulated CPU time (s) 641.78
Current children cumulated vsize (KiB) 312344


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

/proc/meminfo: memFree=1387296/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1061.49
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 106018 131 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1061.49
Current children cumulated vsize (KiB) 394652

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387232/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1121.45
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 112012 133 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1121.45
Current children cumulated vsize (KiB) 394652

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387232/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1181.41
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 118006 135 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1181.41
Current children cumulated vsize (KiB) 394652

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387168/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1241.35
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 123999 136 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1241.35
Current children cumulated vsize (KiB) 394652

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387104/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1301.33
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 129995 138 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 394652

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387104/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1361.28
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 135989 139 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1361.28
Current children cumulated vsize (KiB) 394652

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387168/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1421.25
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 141985 140 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1421.25
Current children cumulated vsize (KiB) 394652

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1387168/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=394652 CPUtime=1481.19
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 116303 0 0 0 147978 141 0 0 25 0 1 0 278411606 404123648 97913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 98663 97913 313 324 0 97732 0
Current children cumulated CPU time (s) 1481.19
Current children cumulated vsize (KiB) 394652

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371552/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1541.15
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 153971 144 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1541.15
Current children cumulated vsize (KiB) 410320

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371488/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1601.11
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 159965 146 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1601.11
Current children cumulated vsize (KiB) 410320

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371552/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1661.08
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 165960 148 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 410320

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371488/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1721.03
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 171953 150 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1721.03
Current children cumulated vsize (KiB) 410320

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1780.99
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 177947 152 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1780.99
Current children cumulated vsize (KiB) 410320

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1790.58
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 178906 152 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (KiB) 410320

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1796.98
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 179545 153 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 410320

[startup+1799.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1798.58
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 179705 153 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 410320

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1799.39
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 179786 153 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551222 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 410320

[startup+1801.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1799.78
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 179825 153 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1799.78
Current children cumulated vsize (KiB) 410320

[startup+1801.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 2794
/proc/meminfo: memFree=1371360/2055920 swapFree=4183044/4192956
[pid=2595] ppid=2593 vsize=410320 CPUtime=1799.98
/proc/2595/stat : 2595 (bsolo3.0.16) R 2593 2595 24034 0 -1 4194304 120284 0 0 0 179845 153 0 0 25 0 1 0 278411606 420167680 101830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2595/statm: 102580 101830 313 324 0 101649 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 410320

Child status: 0
Real time (s): 1801.38
CPU time (s): 1800.07
CPU user time (s): 1798.48
CPU system time (s): 1.59176
CPU usage (%): 99.927
Max. virtual memory (cumulated for all children) (KiB): 410576

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

runsolver used 2.12168 second user time and 3.78742 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  1 12:57:01 UTC 2007

IDJOB= 454305
IDBENCH= 48188
IDSOLVER= 163
FILE ID= node67/454305-1178024221

PBS_JOBID= 4728344

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454305-1178024221/instance-454305-1178024221.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-454305-1178024221 -o ROOT/results/node67/solver-454305-1178024221 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454305-1178024221/instance-454305-1178024221.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  5c1211f8aed9d33c9f0c9019d9cd9874

RANDOM SEED= 21137786

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:       1779128 kB
Buffers:         45004 kB
Cached:         161308 kB
SwapCached:       3808 kB
Active:          71900 kB
Inactive:       146320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779128 kB
SwapTotal:     4192956 kB
SwapFree:      4183044 kB
Dirty:            7172 kB
Writeback:           0 kB
Mapped:          17160 kB
Slab:            44600 kB
Committed_AS:  2157056 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 Tue May  1 13:27:02 UTC 2007