Trace number 363779

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.16SAT62 1800.03 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc2400ec88bd2efb16a03934d0b4c43da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.222965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
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/363779-1177032789/instance-363779-1177032789.opb
0.00/0.00	c File size is 70209 bytes.
0.00/0.01	c Highest Coefficient sum: 648
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.012 s
0.00/0.01	c Var: 648 Constr: 1954 1930/24/0 Lit: 6444 Watch. Lit: 4460
0.00/0.01	c Obj. Vars: 648 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.021 s
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0    540     1738     6012    3     4028    5755      0      0 0.02
0.00/0.09	c Initial Lower Bound: 60
0.00/0.09	c Initial Path Cost: 12
104.16/104.29	c      100    540     1838     7015    3     4228    6331    100   1075 0.09
104.16/104.29	c      250    540     1988    10087    5     4528    6965    250   2380 0.10
104.16/104.29	c      475    540     2213    13839    6     4978    7662    475   3991 0.12
104.16/104.29	c      813    540     2551    19527    7     5654    8429    813   5530 0.15
104.16/104.29	c     1321    540     3059    27868    9     6670    9272   1321   7258 0.18
104.16/104.29	c     2085    540     3823    42100   11     8198   10200   2085   8615 0.24
104.16/104.29	c     3231    540     4969    66564   13    10490   11221   3231   8480 0.38
104.16/104.29	c     4956    540     6694    95245   14    13940   12344   4956   8619 0.57
104.16/104.29	c     7541    540     9279   155333   16    19110   13579   7541   7782 0.97
104.16/104.29	c    11422    540    13160   243803   18    26872   14937  11422   6303 1.81
104.16/104.29	c    17244    540    11268   243347   21    23088   16431   9530   5281 3.27
104.16/104.29	c    25984    540    11579   306235   26    23710   18075   9841   3310 7.85
104.16/104.29	c    39097    540    15492   339479   21    31536   19883  13754   2552 15.32
104.16/104.29	c    58767    540    14991   300801   20    30534   21872  13253   2245 26.17
104.16/104.29	c    88278    540    22322   598346   26    45196   24060  20584   1938 45.54
104.16/104.29	c   132551    540    17922   421844   23    36396   26467  16184   1622 81.72
104.16/104.29	o 72	104.268
104.77/104.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
104.77/104.81	c   157117    540    15032   334045   22    31090    6811  13294   1502 104.58
104.77/104.81	o 64	104.783 * 
106.86/106.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
106.86/106.96	c   157117    540     5228    73283   14    11960    6811   3490   1499 104.78
106.86/106.96	c   157218    540     5334    75594   14    12168    7493   3596   1472 106.79
106.86/106.96	o 62	106.933 * 
1799.94/1800.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.67	c   157218    540     5335    76122   14    12649    6811   3597   1470 106.93
1799.94/1800.67	c   157318    540     5440    77693   14    12869    7493   3702   1433 109.75
1799.94/1800.67	c   157568    540     5695    83902   14    13373    8243   3957   1372 114.82
1799.94/1800.67	c   158045    540     6177    91907   14    14346    9068   4439   1242 127.25
1799.94/1800.67	c   158858    540     7004   113522   16    15994    9975   5266   1159 136.99
1799.94/1800.67	c   160178    540     8333   144564   17    18652   10973   6595    993 161.22
1799.94/1800.67	c   162259    540    10431   206970   19    22845   12071   8693    878 184.65
1799.94/1800.67	c   165482    534    13691   297708   21    29367   13279  11953    701 235.86
1799.94/1800.67	c   170418    534    11865   284193   23    24756   14607  10127    532 319.82
1799.94/1800.67	c   177924    529    11897   252378   21    24821   16068  10159    381 466.69
1799.94/1800.67	c   189285    529    15097   365591   24    31219   17675  13359    300 629.73
1799.94/1800.67	c   206430    529    14320   303051   21    29664   19443  12582    229 898.60
1799.94/1800.67	c   232249    528    20423   502457   24    41869   21388  18685    180 1286.93
1799.94/1800.67	c Resources Exceeded
1799.94/1800.67	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
1799.94/1800.67	v -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1799.94/1800.67	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.94/1800.67	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 -x106
1799.94/1800.67	v -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.94/1800.67	v -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.94/1800.67	v -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1799.94/1800.67	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191
1799.94/1800.67	v -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212
1799.94/1800.67	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1799.94/1800.67	v x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1799.94/1800.67	v -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.94/1800.67	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296
1799.94/1800.67	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1799.94/1800.67	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338
1799.94/1800.67	v -x339 -x340 -x341 -x342 x343 x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360
1799.94/1800.67	v x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1799.94/1800.67	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402
1799.94/1800.67	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.94/1800.67	v -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.94/1800.67	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.94/1800.67	v -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1799.94/1800.67	v -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507
1799.94/1800.67	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1799.94/1800.67	v -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549
1799.94/1800.67	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1799.94/1800.67	v -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1799.94/1800.67	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1799.94/1800.67	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633
1799.94/1800.67	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1799.94/1800.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.67	c   32   265026  78325   451227    20826   486306  19088    147 1800.03
1799.94/1800.67	c Objective: 62
1799.94/1800.67	s SATISFIABLE
1799.94/1800.67	c Total time: 1800.03 s

Verifier Data (download as text)

OK	62

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-363779-1177032789 -o ROOT/results/node60/solver-363779-1177032789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363779-1177032789/instance-363779-1177032789.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: 1.14 1.04 1.01 3/64 4236
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=11808 CPUtime=0
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 151188908 12091392 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 2952 336 281 324 0 2003 0

[startup+0.105938 s]
/proc/loadavg: 1.14 1.04 1.01 3/64 4236
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=5020 CPUtime=0.09
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1043 0 0 0 9 0 0 0 18 0 1 0 151188908 5140480 729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 1255 729 393 324 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5020

[startup+0.201948 s]
/proc/loadavg: 1.14 1.04 1.01 3/64 4236
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=5292 CPUtime=0.19
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1099 0 0 0 19 0 0 0 18 0 1 0 151188908 5419008 785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 1323 785 394 324 0 392 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5292

[startup+0.301958 s]
/proc/loadavg: 1.14 1.04 1.01 3/64 4236
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=5688 CPUtime=0.29
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1197 0 0 0 29 0 0 0 19 0 1 0 151188908 5824512 883 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 1422 883 394 324 0 491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5688

[startup+0.701996 s]
/proc/loadavg: 1.14 1.04 1.01 3/64 4236
/proc/meminfo: memFree=1813192/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=6876 CPUtime=0.68
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1494 0 0 0 68 0 0 0 22 0 1 0 151188908 7041024 1180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 1719 1180 394 324 0 788 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6876

[startup+1.50107 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 4237
/proc/meminfo: memFree=1808896/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=8708 CPUtime=1.49
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1943 0 0 0 147 2 0 0 25 0 1 0 151188908 8916992 1629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 2177 1629 394 324 0 1246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8708

[startup+3.10123 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 4237
/proc/meminfo: memFree=1806848/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=10792 CPUtime=3.09
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 2485 0 0 0 306 3 0 0 25 0 1 0 151188908 11051008 2171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 2698 2171 394 324 0 1767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10792

[startup+6.30155 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 4237
/proc/meminfo: memFree=1804936/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=12348 CPUtime=6.29
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 2849 0 0 0 625 4 0 0 25 0 1 0 151188908 12644352 2535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 3087 2535 394 324 0 2156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12348

[startup+12.7012 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 4237
/proc/meminfo: memFree=1803400/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=13320 CPUtime=12.69
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 3106 0 0 0 1264 5 0 0 25 0 1 0 151188908 13639680 2792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 3330 2792 394 324 0 2399 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13320

[startup+25.5014 s]
/proc/loadavg: 1.09 1.04 1.01 2/65 4237
/proc/meminfo: memFree=1803336/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=13328 CPUtime=25.49
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 3110 0 0 0 2542 7 0 0 25 0 1 0 151188908 13647872 2796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 3332 2796 394 324 0 2401 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13328

[startup+51.102 s]
/proc/loadavg: 1.06 1.03 1.01 2/65 4237
/proc/meminfo: memFree=1800520/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=16216 CPUtime=51.08
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 3836 0 0 0 5094 14 0 0 25 0 1 0 151188908 16605184 3522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4054 3522 394 324 0 3123 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16216

[startup+102.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 4237
/proc/meminfo: memFree=1799624/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=17080 CPUtime=102.27
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 4054 0 0 0 10204 23 0 0 25 0 1 0 151188908 17489920 3740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4270 3740 394 324 0 3339 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17080

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 4237
/proc/meminfo: memFree=1799368/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19580 CPUtime=162.25
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 557516 0 0 0 15977 248 0 0 25 0 1 0 151188908 20049920 3854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135227829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4895 3854 394 324 0 3964 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19580

[startup+222.306 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 4237
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18748 CPUtime=222.24
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 1382901 0 0 0 21644 580 0 0 25 0 1 0 151188908 19197952 3766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135153747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4687 3771 394 324 0 3756 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 18748

[startup+282.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 4237
/proc/meminfo: memFree=1799368/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19264 CPUtime=282.22
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 2082246 0 0 0 27358 864 0 0 25 0 1 0 151188908 19726336 3801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4816 3801 394 324 0 3885 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 19264

[startup+342.302 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 4237
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19360 CPUtime=342.21
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 2617535 0 0 0 33138 1083 0 0 25 0 1 0 151188908 19824640 3806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134800372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4840 3806 394 324 0 3909 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 19360

[startup+402.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 4239
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19324 CPUtime=402.19
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 3184642 0 0 0 38902 1317 0 0 25 0 1 0 151188908 19787776 3818 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4831 3818 394 324 0 3900 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 19324

[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 4239
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19296 CPUtime=462.17
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 3766718 0 0 0 44655 1562 0 0 25 0 1 0 151188908 19759104 3803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4824 3803 394 324 0 3893 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 19296

[startup+522.301 s]
/proc/loadavg: 1.08 1.04 1.01 2/65 4239
/proc/meminfo: memFree=1799304/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18624 CPUtime=522.16
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 4355636 0 0 0 50416 1800 0 0 25 0 1 0 151188908 19070976 3772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4656 3772 394 324 0 3725 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 18624

[startup+582.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 4239
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19296 CPUtime=582.15
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 4923945 0 0 0 56179 2036 0 0 25 0 1 0 151188908 19759104 3795 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4824 3795 394 324 0 3893 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 19296

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 4239
/proc/meminfo: memFree=1799240/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19296 CPUtime=642.12
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 5506254 0 0 0 61938 2274 0 0 25 0 1 0 151188908 19759104 3798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4824 3798 394 324 0 3893 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 19296


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

/proc/meminfo: memFree=1799112/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=17084 CPUtime=1062.02
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 9427417 0 0 0 102316 3886 0 0 25 0 1 0 151188908 17494016 3747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4271 3747 394 324 0 3340 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 17084

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799112/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18600 CPUtime=1122
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 10009777 0 0 0 108082 4118 0 0 25 0 1 0 151188908 19046400 3786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135254909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4650 3788 394 324 0 3719 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 18600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1798984/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19256 CPUtime=1181.99
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 10550963 0 0 0 113865 4334 0 0 25 0 1 0 151188908 19718144 3796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4814 3796 394 324 0 3883 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 19256

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799112/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18600 CPUtime=1241.98
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 11108269 0 0 0 119632 4566 0 0 25 0 1 0 151188908 19046400 3775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135254917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4650 3776 394 324 0 3719 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 18600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799048/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=17084 CPUtime=1301.96
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 11712572 0 0 0 125386 4810 0 0 25 0 1 0 151188908 17494016 3747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4271 3747 394 324 0 3340 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 17084

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799048/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19324 CPUtime=1361.95
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 12308561 0 0 0 131143 5052 0 0 25 0 1 0 151188908 19787776 3804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135307220 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4831 3800 394 324 0 3900 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 19324

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799112/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19296 CPUtime=1421.94
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 12906830 0 0 0 136890 5304 0 0 25 0 1 0 151188908 19759104 3798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4824 3798 394 324 0 3893 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 19296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799048/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19260 CPUtime=1481.92
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 13455604 0 0 0 142665 5527 0 0 25 0 1 0 151188908 19722240 3811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4815 3811 394 324 0 3884 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 19260

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799112/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18620 CPUtime=1541.91
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 14012211 0 0 0 148423 5768 0 0 25 0 1 0 151188908 19066880 3790 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4655 3790 394 324 0 3724 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 18620

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799048/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19296 CPUtime=1601.88
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 14581400 0 0 0 154188 6000 0 0 25 0 1 0 151188908 19759104 3810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4824 3811 394 324 0 3893 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 19296

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4239
/proc/meminfo: memFree=1799048/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=17084 CPUtime=1661.87
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 15154620 0 0 0 159957 6230 0 0 25 0 1 0 151188908 17494016 3747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4271 3747 394 324 0 3340 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 17084

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 4415
/proc/meminfo: memFree=1797712/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18600 CPUtime=1721.76
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 15683775 0 0 0 165725 6451 0 0 25 0 1 0 151188908 19046400 3791 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4719 3795 394 324 0 3788 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 18600

[startup+1782.3 s]
/proc/loadavg: 1.19 1.07 1.02 2/65 4913
/proc/meminfo: memFree=1766472/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19320 CPUtime=1781.65
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16272938 0 0 0 171468 6697 0 0 25 0 1 0 151188908 19783680 3806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134941498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4830 3806 394 324 0 3899 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 19320

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

[startup+1792.01 s]
/proc/loadavg: 1.16 1.07 1.02 2/65 4913
/proc/meminfo: memFree=1766472/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=17084 CPUtime=1791.35
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16361522 0 0 0 172401 6734 0 0 25 0 1 0 151188908 17494016 3747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4271 3747 394 324 0 3340 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 17084

[startup+1795.2 s]
/proc/loadavg: 1.15 1.07 1.02 2/65 4913
/proc/meminfo: memFree=1766472/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18624 CPUtime=1794.55
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16390550 0 0 0 172711 6744 0 0 25 0 1 0 151188908 19070976 3779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135304977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4656 3780 394 324 0 3725 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 18624

[startup+1798.4 s]
/proc/loadavg: 1.15 1.07 1.02 2/65 4913
/proc/meminfo: memFree=1766472/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18624 CPUtime=1797.75
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16421956 0 0 0 173018 6757 0 0 25 0 1 0 151188908 19070976 3783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135254909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4656 3784 394 324 0 3725 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 18624

[startup+1800 s]
/proc/loadavg: 1.14 1.06 1.02 2/65 4913
/proc/meminfo: memFree=1766536/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=18624 CPUtime=1799.34
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16436254 0 0 0 173171 6763 0 0 25 0 1 0 151188908 19070976 3771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4656 3771 394 324 0 3725 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 18624

[startup+1800.4 s]
/proc/loadavg: 1.14 1.06 1.02 2/65 4913
/proc/meminfo: memFree=1766536/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19320 CPUtime=1799.75
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16440422 0 0 0 173210 6765 0 0 25 0 1 0 151188908 19783680 3808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4830 3808 394 324 0 3899 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 19320

[startup+1800.6 s]
/proc/loadavg: 1.14 1.06 1.02 2/65 4913
/proc/meminfo: memFree=1766536/2055920 swapFree=4183236/4192956
[pid=4236] ppid=4234 vsize=19320 CPUtime=1799.94
/proc/4236/stat : 4236 (bsolo3.0.16) R 4234 4236 3792 0 -1 4194304 16441416 0 0 0 173229 6765 0 0 25 0 1 0 151188908 19783680 3812 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308708 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4236/statm: 4830 3812 394 324 0 3899 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 19320

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.03
CPU user time (s): 1732.37
CPU system time (s): 67.6587
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 19696

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

runsolver used 1.16282 second user time and 3.82242 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Fri Apr 20 01:33:09 UTC 2007

IDJOB= 363779
IDBENCH= 2025
IDSOLVER= 163
FILE ID= node60/363779-1177032789

PBS_JOBID= 4630646

Free space on /tmp= 66413 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363779-1177032789/instance-363779-1177032789.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node60/watcher-363779-1177032789 -o ROOT/results/node60/solver-363779-1177032789 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363779-1177032789/instance-363779-1177032789.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c2400ec88bd2efb16a03934d0b4c43da

RANDOM SEED= 188353482

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1813600 kB
Buffers:         40708 kB
Cached:         137376 kB
SwapCached:       3476 kB
Active:          50188 kB
Inactive:       140728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813600 kB
SwapTotal:     4192956 kB
SwapFree:      4183236 kB
Dirty:            4460 kB
Writeback:           0 kB
Mapped:          18704 kB
Slab:            37380 kB
Committed_AS:  2400028 kB
PageTables:       1472 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= 66413 MiB

End job on node60 on Fri Apr 20 02:03:10 UTC 2007