Trace number 2656548

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2 CardSAT70 1798.04 1798.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656548-1276397617.opb
0.00/0.00	c File size is 202558 bytes.
0.01/0.03	c Highest Coefficient sum: 324
0.01/0.03	c Parsing was ok!!
0.01/0.03	c Total parsing time: 0.035 s
0.01/0.03	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.01/0.03	c Obj. Vars: 180 (33.3333 % of total variables)
0.01/0.07	c Pre-processing Time: 0.077 s
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c        0    540     4626    21888    4    14136   31514      0      0 0.08
0.01/0.07	c Switching off lower bounding mode.
0.09/0.11	c      101    540     4758    25004    5    15373   34666    132   1134 0.09
0.09/0.11	o 86
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      187    540     4872    31404    6    15634   31874    246   1669 0.11
0.19/0.22	c      287    540     4988    38306    7    15636   35062    362   1939 0.15
0.19/0.22	o 84
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      458    540     5198    50417    9    16442   31874    572   2053 0.22
0.19/0.29	c      558    540     5313    57304   10    16413   35062    687   2154 0.26
0.19/0.29	o 82
0.19/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.30	c      664    540     5459    66735   12    16784   31874    833   2266 0.29
0.19/0.30	o 80
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c      678    540     5475    67413   12    17058   31874    849   2267 0.30
0.29/0.35	c      780    540     5597    73887   13    16820   35062    971   2300 0.34
0.29/0.35	o 78
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c      810    540     5631    75257   13    17054   31874   1005   2320 0.35
0.89/0.93	c      910    540     5742    81094   14    17318   35062   1116   2339 0.39
0.89/0.93	c     1160    540     6030   104954   17    18264   38569   1404   2152 0.54
0.89/0.93	c     1636    540     6681   141049   21    18848   42426   2055   2213 0.74
0.89/0.93	o 76
6.50/6.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.54	c     1939    540     7093   164831   23    20477   31874   2467   2089 0.93
6.50/6.54	c     2039    540     7228   170918   23    20763   35062   2602   2051 0.99
6.50/6.54	c     2289    540     7551   187224   24    21922   38569   2925   2031 1.13
6.50/6.54	c     2764    540     8134   235562   28    22379   42426   3508   1881 1.47
6.50/6.54	c     3577    540     9178   319222   34    24841   46669   4552   1565 2.29
6.50/6.54	c     4897    540    10977   493753   44    28726   51336   6351   1210 4.05
6.50/6.54	o 74
15.88/15.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.88/15.95	c     6371    540    12917   683169   52    33864   31874   8291    974 6.54
15.88/15.95	c     6472    540    13038   689734   52    33657   35062   8412    967 6.69
15.88/15.95	c     6722    540    13367   722911   54    34585   38569   8741    946 7.10
15.88/15.95	c     7198    540    13997   783513   55    35259   42426   9371    912 7.89
15.88/15.95	c     8013    540    15128   852390   56    37587   46669  10502    852 9.40
15.88/15.95	c     9333    540    16977  1038041   61    42104   51336  12351    714 13.06
15.88/15.95	o 72
547.89/548.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
547.89/548.11	c    10191    540    18193  1180439   64    44781   31874  13567    639 15.95
547.89/548.11	c    10291    540    18320  1187932   64    44760   35062  13694    631 16.29
547.89/548.11	c    10543    540    18641  1210796   64    45264   38569  14015    619 17.01
547.89/548.11	c    11019    540    19255  1267400   65    46287   42426  14629    602 18.30
547.89/548.11	c    11832    540    20308  1376745   67    48881   46669  15682    564 20.97
547.89/548.11	c    13152    540    22052  1556399   70    52848   51336  17426    530 24.79
547.89/548.11	c    15237    540    24849  1821425   73    58747   56470  20223    479 31.78
547.89/548.11	c    18460    540    29144  2273724   78    67841   62118  24518    394 46.76
547.89/548.11	c    23396    540    35793  2996364   83    82350   68330  31167    308 75.91
547.89/548.11	c    30903    540    47128  3929324   83   105844   75164  42502    231 133.74
547.89/548.11	c    42265    540    63361  5949173   93   141009   82681  58735    169 249.02
547.89/548.11	c    59411    540    27178  3051929  112    63124   90950  22552    118 502.83
547.89/548.11	o 70
1797.98/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.64	c    66815    540    38112  4267099  111    86546   31874  33486    121 547.91
1797.98/1798.64	c    66917    540    20703  1715932   82    49072   35062  16077    121 548.96
1797.98/1798.64	c    67167    540    21039  1743585   82    49706   38569  16413    122 549.60
1797.98/1798.64	c    67643    540    21656  1796208   82    50909   42426  17030    122 551.56
1797.98/1798.64	c    68457    540    22749  1903772   83    52635   46669  18123    123 554.50
1797.98/1798.64	c    69777    540    24516  2086633   85    56898   51336  19890    124 561.23
1797.98/1798.64	c    71859    540    27358  2350325   85    63379   56470  22732    125 571.30
1797.98/1798.64	c    75082    540    31930  2757531   86    73186   62118  27304    128 586.47
1797.98/1798.64	c    80018    540    38762  3537272   91    87750   68330  34136    128 622.19
1797.98/1798.64	c    87524    540    49355  4766079   96   110154   75164  44729    126 689.21
1797.98/1798.64	c    98886    540    65640  6668590  101   145364   82681  61014    122 807.98
1797.98/1798.64	c   116030    540    27482  2409453   87    62652   90950  22856    113 1026.61
1797.98/1798.64	c   141850    540    66605  5576984   83   143895  100046  61979    109 1296.36
1797.98/1798.64	c Resources Exceeded
1797.98/1798.64	v -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 x432 -x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 x254 -x290 -x326 -x3 x39 -x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 x220 -x256 -x292 -x328 -x5 -x41 x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 -x79 -x115 x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 x297 -x333 -x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 x334 -x11 -x47 -x83 x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 x337 x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 x56 -x92 -x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 x93 -x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 x279 -x315 -x351 x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 x8 x44 -x80 -x116 -x152 x188 x224 x260 -x296 -x332 -x15 x51 x87 -x123 -x159 -x195 x231 x267 x303 -x339 x22 -x58 -x94 -x130 x166 x202 x238 -x274 -x310 x346 -x29 -x65 x101 x137 x173 -x209 -x245 -x281 x317 x353 -x36 x72 x108 x144 -x180 -x216 -x252 x288 x324 -x360 x1 -x37 -x73 x109 x145 x181 -x217 -x253 -x289 x325 
1797.98/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.64	c   49   179728  44105   319702    43271  4730415  38645     99 1798.02
1797.98/1798.64	c Objective: 70
1797.98/1798.64	s SATISFIABLE
1797.98/1798.64	c Total time: 1798.02 s

Verifier Data 

OK	70

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656548-1276397617/watcher-2656548-1276397617 -o /tmp/evaluation-result-2656548-1276397617/solver-2656548-1276397617 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656548-1276397617.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21539
/proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=10996 CPUtime=0
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 15363305 11259904 253 1992294400 134512640 137138936 4290628736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 2749 253 175 642 0 2055 0

[startup+0.019715 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21539
/proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=11264 CPUtime=0.01
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 404 0 0 0 1 0 0 0 20 0 1 0 15363305 11534336 323 1992294400 134512640 137138936 4290628736 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 2816 323 191 642 0 2122 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11264

[startup+0.101729 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21539
/proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=11880 CPUtime=0.09
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 15363305 12165120 546 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 2970 546 192 642 0 2326 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11880

[startup+0.301766 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21539
/proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=12376 CPUtime=0.29
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 823 0 0 0 28 1 0 0 20 0 1 0 15363305 12673024 665 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 3094 665 192 642 0 2450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12376

[startup+0.701836 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 21539
/proc/meminfo: memFree=1833996/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=13380 CPUtime=0.69
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 1068 0 0 0 68 1 0 0 20 0 1 0 15363305 13701120 910 1992294400 134512640 137138936 4290628736 18446744073709551615 136520977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 3345 910 192 642 0 2701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13380

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 21540
/proc/meminfo: memFree=1830640/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=14880 CPUtime=1.49
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 1450 0 0 0 147 2 0 0 23 0 1 0 15363305 15237120 1292 1992294400 134512640 137138936 4290628736 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 3720 1292 192 642 0 3076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14880

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 21540
/proc/meminfo: memFree=1828284/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=17148 CPUtime=3.09
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 2003 0 0 0 306 3 0 0 25 0 1 0 15363305 17559552 1845 1992294400 134512640 137138936 4290628736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 4287 1845 192 642 0 3643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17148

[startup+6.30184 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21540
/proc/meminfo: memFree=1824192/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=20928 CPUtime=6.29
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 2938 0 0 0 625 4 0 0 25 0 1 0 15363305 21430272 2780 1992294400 134512640 137138936 4290628736 18446744073709551615 134575026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 5232 2780 192 642 0 4588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20928

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21540
/proc/meminfo: memFree=1818744/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=25904 CPUtime=12.69
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 4190 0 0 0 1263 6 0 0 25 0 1 0 15363305 26525696 4032 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 6476 4032 192 642 0 5832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25904

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 21540
/proc/meminfo: memFree=1810560/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=33688 CPUtime=25.48
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 6133 0 0 0 2537 11 0 0 25 0 1 0 15363305 34496512 5975 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 8422 5975 192 642 0 7778 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33688

[startup+51.1008 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 21542
/proc/meminfo: memFree=1799276/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=44880 CPUtime=51.08
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 8941 0 0 0 5091 17 0 0 25 0 1 0 15363305 45957120 8783 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 11220 8783 192 642 0 10576 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44880

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 21542
/proc/meminfo: memFree=1784396/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=59420 CPUtime=102.26
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 12580 0 0 0 10201 25 0 0 25 0 1 0 15363305 60846080 12422 1992294400 134512640 137138936 4290628736 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 14855 12422 192 642 0 14211 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59420

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21544
/proc/meminfo: memFree=1770012/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=73996 CPUtime=162.24
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 16209 0 0 0 16192 32 0 0 25 0 1 0 15363305 75771904 16051 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 18499 16051 192 642 0 17855 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73996

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21546
/proc/meminfo: memFree=1755628/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=88168 CPUtime=222.22
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 19767 0 0 0 22184 38 0 0 25 0 1 0 15363305 90284032 19609 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 22042 19609 192 642 0 21398 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88168

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21548
/proc/meminfo: memFree=1742360/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=101516 CPUtime=282.19
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 23093 0 0 0 28176 43 0 0 25 0 1 0 15363305 103952384 22935 1992294400 134512640 137138936 4290628736 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 25379 22935 192 642 0 24735 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 101516

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21548
/proc/meminfo: memFree=1729216/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=114412 CPUtime=342.17
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 26328 0 0 0 34169 48 0 0 25 0 1 0 15363305 117157888 26170 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 28603 26170 192 642 0 27959 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 114412

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21550
/proc/meminfo: memFree=1717188/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=126612 CPUtime=402.15
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 29356 0 0 0 40161 54 0 0 25 0 1 0 15363305 129650688 29198 1992294400 134512640 137138936 4290628736 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 31653 29198 192 642 0 31009 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 126612

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21561
/proc/meminfo: memFree=1705596/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=137372 CPUtime=462.12
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 32072 0 0 0 46153 59 0 0 25 0 1 0 15363305 140668928 31914 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 34343 31914 192 642 0 33699 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 137372

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21563
/proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=142820 CPUtime=522.1
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33504 0 0 0 52146 64 0 0 25 0 1 0 15363305 146247680 33265 1992294400 134512640 137138936 4290628736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35705 33265 192 642 0 35061 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 142820

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21565
/proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=582.08
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33535 0 0 0 58139 69 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 143008

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21565
/proc/meminfo: memFree=1699768/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=642.07
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33535 0 0 0 64134 73 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134606961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 143008

[startup+702.301 s]

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

/proc/meminfo: memFree=1699396/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1121.9
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 112089 101 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 143008

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21581
/proc/meminfo: memFree=1699396/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1181.88
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 118085 103 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 143008

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21584
/proc/meminfo: memFree=1699212/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1241.86
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 124081 105 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 143008

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21586
/proc/meminfo: memFree=1699212/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1301.84
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 130077 107 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 143008

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 21588
/proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1361.82
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 136072 110 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 143008

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 21590
/proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1421.8
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 142067 113 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 143008

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21592
/proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143008 CPUtime=1481.78
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33617 0 0 0 148062 116 0 0 25 0 1 0 15363305 146440192 33296 1992294400 134512640 137138936 4290628736 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 143008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21592
/proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143024 CPUtime=1541.75
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33621 0 0 0 154058 117 0 0 25 0 1 0 15363305 146456576 33300 1992294400 134512640 137138936 4290628736 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35756 33300 192 642 0 35112 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 143024

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21594
/proc/meminfo: memFree=1699336/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=143044 CPUtime=1601.74
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 33626 0 0 0 160055 119 0 0 25 0 1 0 15363305 146477056 33305 1992294400 134512640 137138936 4290628736 18446744073709551615 136511179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 35761 33305 192 642 0 35117 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 143044

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21596
/proc/meminfo: memFree=1692516/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=149928 CPUtime=1661.72
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 35354 0 0 0 166050 122 0 0 25 0 1 0 15363305 153526272 35033 1992294400 134512640 137138936 4290628736 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 37482 35033 192 642 0 36838 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 149928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21598
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1721.7
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 172043 127 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 155748

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1781.68
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 178036 132 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 155748

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1791.28
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 178996 132 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 155748

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1794.49
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179316 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 155748

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1796.08
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179475 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 155748

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1796.88
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179555 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 155748

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1797.68
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179635 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 155748

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1797.88
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179655 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 155748

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21600
/proc/meminfo: memFree=1686440/2059040 swapFree=4136696/4192956
[pid=21539] ppid=21537 vsize=155748 CPUtime=1797.98
/proc/21539/stat : 21539 (bsolo_pb10) R 21537 21539 14673 0 -1 4202496 36909 0 0 0 179665 133 0 0 25 0 1 0 15363305 159485952 36490 1992294400 134512640 137138936 4290628736 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21539/statm: 38937 36490 192 642 0 38293 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 155748

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.04
CPU user time (s): 1796.69
CPU system time (s): 1.35079
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 156140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 1.35079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36910
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= 1
involuntary context switches= 4658

runsolver used 2.76058 second user time and 8.70468 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-13 04:53:37
IDJOB=2656548
IDBENCH=2007
IDSOLVER=1162
FILE ID=node012/2656548-1276397617
PBS_JOBID= 11173252
Free space on /tmp= 62412 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656548-1276397617/watcher-2656548-1276397617 -o /tmp/evaluation-result-2656548-1276397617/solver-2656548-1276397617 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656548-1276397617.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1237490403

node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1834524 kB
Buffers:         10336 kB
Cached:         129356 kB
SwapCached:      16520 kB
Active:          66736 kB
Inactive:        92632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1834524 kB
SwapTotal:     4192956 kB
SwapFree:      4136696 kB
Dirty:            4120 kB
Writeback:          28 kB
AnonPages:       11000 kB
Mapped:           9204 kB
Slab:            43416 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182396 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62408 MiB
End job on node012 at 2010-06-13 05:23:36