Trace number 363765

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.16SAT64 1800.01 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM135acf1f05855c365b3d13b378debe22
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.358945
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
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/363765-1177032412/instance-363765-1177032412.opb
0.00/0.00	c File size is 70110 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.013 s
0.00/0.01	c Var: 648 Constr: 1952 1928/24/0 Lit: 6438 Watch. Lit: 4456
0.00/0.01	c Obj. Vars: 648 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.022 s
0.04/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.09	c        0    540     1736     6006    3     4024    5754      0      0 0.02
0.04/0.09	c Initial Lower Bound: 61
0.04/0.09	c Initial Path Cost: 16
111.75/111.83	c      101    539     1837     7110    3     4225    6330    101   1020 0.10
111.75/111.83	c      252    539     1988    10321    5     4527    6964    252   2333 0.11
111.75/111.83	c      477    539     2213    13971    6     4977    7661    477   3846 0.12
111.75/111.83	c      816    539     2552    17882    7     5655    8428    816   5787 0.14
111.75/111.83	c     1327    539     3063    25497    8     6677    9271   1327   7582 0.17
111.75/111.83	c     2090    539     3826    37951    9     8203   10199   2090   8893 0.23
111.75/111.83	c     3237    539     4973    57817   11    10497   11219   3237   9437 0.34
111.75/111.83	c     4959    539     6695    90939   13    13941   12341   4959   8462 0.59
111.75/111.83	c     7544    539     9280   150122   16    19111   13576   7544   7367 1.02
111.75/111.83	c    11423    539    13159   275585   20    26869   14934  11423   4683 2.44
111.75/111.83	c    17245    539    11351   273908   24    23253   16428   9615   3815 4.52
111.75/111.83	c    25983    539    11745   220735   18    24041   18071  10009   3486 7.45
111.75/111.83	c    39093    539    15668   300408   19    31887   19879  13932   2692 14.52
111.75/111.83	c    58763    539    15110   264911   17    30771   21867  13374   1757 33.45
111.75/111.83	c    88275    536    22417   577293   25    45382   24054  20681   1620 54.48
111.75/111.83	c   132549    534    17833   388068   21    36212   26460  16097   1372 96.58
111.75/111.83	o 72	111.789
112.06/112.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
112.06/112.18	c   145699    533    16210   362987   22    33431    6788  14474   1303 111.79
112.06/112.18	o 68	112.137 * 
113.45/113.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
113.45/113.59	c   145699    533     5183    81644   15    11841    6788   3447   1299 112.14
113.45/113.59	o 64	113.548 * 
1799.98/1800.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.62	c   145765    532     5258    83414   15    12461    6786   3522   1283 113.55
1799.98/1800.62	c   145865    532     5359    84796   15    12668    7465   3623   1270 114.84
1799.98/1800.62	c   146115    532     5617    89115   15    13184    8212   3881   1199 121.84
1799.98/1800.62	c   146592    532     6105   100724   16    14157    9034   4369   1148 127.61
1799.98/1800.62	c   147405    532     6926   119135   17    15805    9938   5190   1041 141.59
1799.98/1800.62	c   148725    532     8250   147571   17    18444   10932   6514    904 164.39
1799.98/1800.62	c   150806    532    10338   195771   18    22620   12026   8602    753 200.26
1799.98/1800.62	c   154029    532    13561   268377   19    29075   13229  11825    593 259.43
1799.98/1800.62	c   158966    532    11681   310637   26    24377   14552   9945    493 322.11
1799.98/1800.62	c   166474    531    11772   296529   25    24558   16008  10036    384 432.74
1799.98/1800.62	c   177837    531    14976   431493   28    30965   17609  13240    310 573.67
1799.98/1800.62	c   194981    531    14250   478188   33    29512   19370  12514    247 786.31
1799.98/1800.62	c   220801    530    20391   756260   37    41796   21308  18655    192 1148.17
1799.98/1800.62	c   259636    525    16018   454341   28    33044   23439  14282    154 1685.18
1799.98/1800.62	c Resources Exceeded
1799.98/1800.62	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/1800.62	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/1800.62	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 -x82
1799.98/1800.62	v -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1799.98/1800.62	v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1799.98/1800.62	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149
1799.98/1800.62	v -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1799.98/1800.62	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191
1799.98/1800.62	v x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213
1799.98/1800.62	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234
1799.98/1800.62	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1799.98/1800.62	v -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276
1799.98/1800.62	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1799.98/1800.62	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1799.98/1800.62	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339
1799.98/1800.62	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360
1799.98/1800.62	v x361 x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381
1799.98/1800.62	v -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402
1799.98/1800.62	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1799.98/1800.62	v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1799.98/1800.62	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1799.98/1800.62	v -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486
1799.98/1800.62	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1799.98/1800.62	v -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528
1799.98/1800.62	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549
1799.98/1800.62	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1799.98/1800.62	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591
1799.98/1800.62	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
1799.98/1800.62	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1799.98/1800.62	v -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1799.98/1800.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.62	c   32   268232  80721   453893    24616   714992  22880    149 1800.00
1799.98/1800.62	c Objective: 64
1799.98/1800.62	s SATISFIABLE
1799.98/1800.62	c Total time: 1800 s

Verifier Data (download as text)

OK	64

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-363765-1177032412 -o ROOT/results/node58/solver-363765-1177032412 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 29197
/proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=11808 CPUtime=0
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 151150848 12091392 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 2952 336 281 324 0 2003 0

[startup+0.0503871 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 29197
/proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=4852 CPUtime=0.04
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 671 0 0 0 4 0 0 0 18 0 1 0 151150848 4968448 621 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 1213 621 332 324 0 282 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4852

[startup+0.101395 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 29197
/proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=4952 CPUtime=0.09
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1041 0 0 0 9 0 0 0 18 0 1 0 151150848 5070848 713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 1238 713 393 324 0 307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4952

[startup+0.301427 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 29197
/proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=5740 CPUtime=0.29
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1208 0 0 0 28 1 0 0 19 0 1 0 151150848 5877760 880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 1435 880 394 324 0 504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5740

[startup+0.701495 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 29197
/proc/meminfo: memFree=1811864/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=6796 CPUtime=0.69
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1484 0 0 0 68 1 0 0 22 0 1 0 151150848 6959104 1156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 1699 1156 394 324 0 768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6796

[startup+1.50163 s]
/proc/loadavg: 0.92 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1808016/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=8364 CPUtime=1.49
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1868 0 0 0 148 1 0 0 25 0 1 0 151150848 8564736 1540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 2091 1540 394 324 0 1160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8364

[startup+3.1019 s]
/proc/loadavg: 0.92 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1806032/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=10320 CPUtime=3.09
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2372 0 0 0 307 2 0 0 25 0 1 0 151150848 10567680 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 2580 2044 394 324 0 1649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10320

[startup+6.30143 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1804048/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=11492 CPUtime=6.29
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2672 0 0 0 625 4 0 0 25 0 1 0 151150848 11767808 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 2873 2344 394 324 0 1942 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11492

[startup+12.7015 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1803088/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=12148 CPUtime=12.68
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2830 0 0 0 1263 5 0 0 25 0 1 0 151150848 12439552 2502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 3037 2502 394 324 0 2106 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12148

[startup+25.5016 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1802768/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=12412 CPUtime=25.49
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2894 0 0 0 2542 7 0 0 25 0 1 0 151150848 12709888 2566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 3103 2566 394 324 0 2172 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12412

[startup+51.1019 s]
/proc/loadavg: 0.96 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1800272/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=14964 CPUtime=51.07
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3535 0 0 0 5094 13 0 0 25 0 1 0 151150848 15323136 3207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 3741 3207 394 324 0 2810 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14964

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1798992/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=16268 CPUtime=102.26
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3864 0 0 0 10204 22 0 0 25 0 1 0 151150848 16658432 3536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4067 3536 394 324 0 3136 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16268

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29198
/proc/meminfo: memFree=1798480/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18780 CPUtime=162.24
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 557888 0 0 0 15978 246 0 0 25 0 1 0 151150848 19230720 3699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4695 3699 394 324 0 3764 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18780

[startup+222.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 29198
/proc/meminfo: memFree=1798352/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18740 CPUtime=222.22
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1172580 0 0 0 21730 492 0 0 25 0 1 0 151150848 19189760 3695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135235756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4685 3695 394 324 0 3754 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 18740

[startup+282.303 s]
/proc/loadavg: 1.10 1.02 1.00 2/65 29198
/proc/meminfo: memFree=1798416/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18644 CPUtime=282.19
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 1758456 0 0 0 27486 733 0 0 25 0 1 0 151150848 19091456 3677 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4661 3677 394 324 0 3730 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 18644

[startup+342.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 29198
/proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18620 CPUtime=342.17
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 2469472 0 0 0 33185 1032 0 0 25 0 1 0 151150848 19066880 3601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4655 3601 394 324 0 3724 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 18620

[startup+402.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 29198
/proc/meminfo: memFree=1798608/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=17792 CPUtime=402.15
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3134083 0 0 0 38903 1312 0 0 25 0 1 0 151150848 18219008 3578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135254911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4448 3580 394 324 0 3517 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 17792

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29198
/proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18448 CPUtime=462.13
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 3735838 0 0 0 44666 1547 0 0 25 0 1 0 151150848 18890752 3590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134799991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4612 3590 394 324 0 3681 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 18448

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29198
/proc/meminfo: memFree=1798672/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18416 CPUtime=522.11
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 4308426 0 0 0 50426 1785 0 0 25 0 1 0 151150848 18857984 3588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4604 3586 394 324 0 3673 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 18416

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29198
/proc/meminfo: memFree=1798544/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=16272 CPUtime=582.09
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 4871196 0 0 0 56183 2026 0 0 25 0 1 0 151150848 16662528 3544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134709769 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4068 3544 394 324 0 3137 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 16272

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29198
/proc/meminfo: memFree=1798480/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18416 CPUtime=642.08
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 5433762 0 0 0 61946 2262 0 0 25 0 1 0 151150848 18857984 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4604 3626 394 324 0 3673 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 18416


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

/proc/meminfo: memFree=1795408/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21472 CPUtime=1121.9
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 12376935 0 0 0 107164 5026 0 0 25 0 1 0 151150848 21987328 4331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134799991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5368 4331 394 324 0 4437 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 21472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795408/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21476 CPUtime=1181.88
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 13216604 0 0 0 112825 5363 0 0 25 0 1 0 151150848 21991424 4346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5369 4346 394 324 0 4438 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 21476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21280 CPUtime=1241.86
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 13889185 0 0 0 118542 5644 0 0 25 0 1 0 151150848 21790720 4270 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5320 4273 394 324 0 4389 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 21280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=18968 CPUtime=1301.85
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 14569335 0 0 0 124267 5918 0 0 25 0 1 0 151150848 19423232 4218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5304147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 4742 4218 394 324 0 3811 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 18968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21116 CPUtime=1361.82
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 15181160 0 0 0 130010 6172 0 0 25 0 1 0 151150848 21622784 4265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5279 4265 394 324 0 4348 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 21116

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795728/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21116 CPUtime=1421.8
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 15739966 0 0 0 135775 6405 0 0 25 0 1 0 151150848 21622784 4265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5279 4265 394 324 0 4348 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 21116

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=20460 CPUtime=1481.78
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 16270823 0 0 0 141548 6630 0 0 25 0 1 0 151150848 20951040 4251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135253502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5115 4251 394 324 0 4184 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 20460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21116 CPUtime=1541.76
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 16803000 0 0 0 147327 6849 0 0 25 0 1 0 151150848 21622784 4264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5279 4264 394 324 0 4348 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 21116

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795664/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21080 CPUtime=1601.74
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 17289973 0 0 0 153117 7057 0 0 25 0 1 0 151150848 21585920 4318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5270 4318 394 324 0 4339 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 21080

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795536/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21080 CPUtime=1661.71
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 17822783 0 0 0 158881 7290 0 0 25 0 1 0 151150848 21585920 4262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5270 4262 394 324 0 4339 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 21080

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21116 CPUtime=1721.69
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 18386161 0 0 0 164629 7540 0 0 25 0 1 0 151150848 21622784 4293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5279 4293 394 324 0 4348 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 21116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21140 CPUtime=1781.68
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 18949926 0 0 0 170391 7777 0 0 25 0 1 0 151150848 21647360 4271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5285 4271 394 324 0 4354 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 21140

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21140 CPUtime=1791.27
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19037152 0 0 0 171311 7816 0 0 25 0 1 0 151150848 21647360 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5285 4267 394 324 0 4354 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 21140

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21144 CPUtime=1794.47
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19070703 0 0 0 171617 7830 0 0 25 0 1 0 151150848 21651456 4269 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5286 4269 394 324 0 4355 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 21144

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21080 CPUtime=1797.67
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19101719 0 0 0 171926 7841 0 0 25 0 1 0 151150848 21585920 4261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5270 4261 394 324 0 4339 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 21080

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21116 CPUtime=1799.27
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19116281 0 0 0 172081 7846 0 0 25 0 1 0 151150848 21622784 4270 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5279 4270 394 324 0 4348 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 21116

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=21076 CPUtime=1799.67
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19119386 0 0 0 172119 7848 0 0 25 0 1 0 151150848 21581824 4261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332421 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5269 4261 394 324 0 4338 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 21076

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=20268 CPUtime=1799.87
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19121250 0 0 0 172138 7849 0 0 25 0 1 0 151150848 20754432 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135265845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5067 4252 394 324 0 4136 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 20268

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29200
/proc/meminfo: memFree=1795600/2055920 swapFree=4184528/4192956
[pid=29197] ppid=29195 vsize=20916 CPUtime=1799.98
/proc/29197/stat : 29197 (bsolo3.0.16) R 29195 29197 28664 0 -1 4194304 19122303 0 0 0 172149 7849 0 0 25 0 1 0 151150848 21417984 4258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29197/statm: 5229 4258 394 324 0 4298 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 20916

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.01
CPU user time (s): 1721.51
CPU system time (s): 78.4981
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 21748

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

runsolver used 1.01085 second user time and 3.9164 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Fri Apr 20 01:26:52 UTC 2007

IDJOB= 363765
IDBENCH= 2024
IDSOLVER= 163
FILE ID= node58/363765-1177032412

PBS_JOBID= 4630649

Free space on /tmp= 66446 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-2pb.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-363765-1177032412 -o ROOT/results/node58/solver-363765-1177032412 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363765-1177032412/instance-363765-1177032412.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  135acf1f05855c365b3d13b378debe22

RANDOM SEED= 842818761

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.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.265
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.265
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:       1812208 kB
Buffers:         14572 kB
Cached:         166576 kB
SwapCached:       2248 kB
Active:          77876 kB
Inactive:       113432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812208 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            4448 kB
Writeback:           0 kB
Mapped:          16708 kB
Slab:            38420 kB
Committed_AS:   972264 kB
PageTables:       1380 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= 66446 MiB

End job on node58 on Fri Apr 20 01:56:53 UTC 2007