Trace number 2670727

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 CardSAT3 1798 1798.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
MD5SUM65bc139f592885e582edbd6d46332a4d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.13307
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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-2670727-1276705667.opb
0.00/0.00	c File size is 30043 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.00	c Obj. Vars: 9 (1.66667 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    540      826     3456    4     2973    4616      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
51.77/51.84	c      102    540     1018    13098   12     3429    5078    192   2833 0.04
51.77/51.84	c      252    540     1295    30534   23     4153    5586    469   3359 0.07
51.77/51.84	c      477    540     1719    60352   35     5160    6145    893   3289 0.14
51.77/51.84	c      816    540     2359   110014   46     6971    6760   1533   2853 0.29
51.77/51.84	c     1325    540     3365   177115   52     9678    7437   2539   2861 0.46
51.77/51.84	c     2089    540     4800   283027   58    13221    8181   3974   2572 0.81
51.77/51.84	c     3235    540     7009   413229   58    19154    9000   6183   2304 1.40
51.77/51.84	c     4957    540     5749   296106   51    15641    9901   4923   1879 2.64
51.77/51.84	c     7542    540    10674   655779   61    28049   10892   9848   1944 3.88
51.77/51.84	c    11421    540     6273   342127   54    16705   11982   5447   1697 6.73
51.77/51.84	c    17243    540    11012   746880   67    29019   13181  10186   1739 9.91
51.77/51.84	c    25980    540    13736   940748   68    35269   14500  12910   1388 18.71
51.77/51.84	c    39090    540     8077   471339   58    21046   15951   7251   1077 36.28
51.77/51.84	o 5
1037.74/1038.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1037.74/1038.10	c    53752    540    11250   776582   69    27408    4634  10424   1037 51.83
1037.74/1038.10	c    53853    530     3334   189775   56     8596    5098   2508   1036 51.98
1037.74/1038.10	c    54103    530     3818   217043   56     9902    5608   2992   1039 52.06
1037.74/1038.10	c    54579    520     4743   279834   58    12413    6169   3917   1045 52.22
1037.74/1038.10	c    55393    520     6342   389840   61    16573    6786   5516   1052 52.62
1037.74/1038.10	c    56713    520     5409   314749   58    14423    7465   4583   1059 53.50
1037.74/1038.10	c    58794    520     5643   308159   54    15043    8212   4817   1064 55.25
1037.74/1038.10	c    62017    520     7693   435787   56    20678    9034   6867   1070 57.95
1037.74/1038.10	c    66954    520     7556   445200   58    19867    9938   6730   1067 62.74
1037.74/1038.10	c    74460    520     6517   424540   65    16667   10932   5691   1065 69.91
1037.74/1038.10	c    85822    520     6295   365397   58    16533   12026   5469   1045 82.08
1037.74/1038.10	c   102968    500     6977   600043   86    17600   13229   6151   1026 100.28
1037.74/1038.10	c   128787    500     7447   418314   56    19626   14552   6621   1006 127.95
1037.74/1038.10	c   167620    500     8568   497006   58    22681   16008   7742    930 180.08
1037.74/1038.10	c   225972    500    12160   757817   62    32819   17609  11334    869 259.81
1037.74/1038.10	c   313605    474    13612   817370   60    35208   19370  12786    792 395.95
1037.74/1038.10	c   445157    474    10954   679861   62    28686   21308  10128    692 642.39
1037.74/1038.10	c   642589    474    19955  1457977   73    50524   23439  19129    634 1013.45
1037.74/1038.10	o 3
1797.99/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.60	c   658973    474    15873   962530   60    41541    4622  15047    634 1037.75
1797.99/1798.60	c   659073    474     3342   177234   53     9024    5085   2516    634 1038.03
1797.99/1798.60	c   659324    474     3808   208873   54    10159    5594   2982    635 1038.12
1797.99/1798.60	c   659800    474     4713   270879   57    12408    6154   3887    635 1038.32
1797.99/1798.60	c   660613    474     6276   381893   60    16552    6770   5450    635 1038.72
1797.99/1798.60	c   661933    474     5013   324510   64    12745    7448   4187    636 1039.38
1797.99/1798.60	c   664016    474     4939   284977   57    13211    8193   4113    638 1040.58
1797.99/1798.60	c   667239    474     6531   405374   62    15449    9013   5705    639 1042.78
1797.99/1798.60	c   672176    474     6736   388147   57    17602    9915   5910    642 1046.76
1797.99/1798.60	c   679682    474     5863   328685   56    15129   10907   5037    644 1055.24
1797.99/1798.60	c   691043    474    10659   644932   60    26284   11998   9833    646 1068.64
1797.99/1798.60	c   708187    474    11555   775065   67    29962   13198  10729    651 1087.74
1797.99/1798.60	c   734007    474    12259   739339   60    32068   14518  11433    654 1120.88
1797.99/1798.60	c   772839    474    10554   700669   66    27374   15970   9728    658 1174.20
1797.99/1798.60	c   831192    451    12507   996160   79    26169   17568  11681    664 1251.78
1797.99/1798.60	c   918824    451    14838  1023605   68    38343   19325  14012    656 1398.78
1797.99/1798.60	c  1050377    451    14271   893406   62    37724   21258  13445    642 1634.34
1797.99/1798.60	c Resources Exceeded
1797.99/1798.60	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 -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 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 
1797.99/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.60	c   48  1133311   8662  1160838    18992  1299816  18166    630 1798.00
1797.99/1798.60	c Objective: 3
1797.99/1798.60	s SATISFIABLE
1797.99/1798.60	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670727-1276705667/watcher-2670727-1276705667 -o /tmp/evaluation-result-2670727-1276705667/solver-2670727-1276705667 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670727-1276705667.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: 1.00 1.00 0.94 3/106 17065
/proc/meminfo: memFree=1714296/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=10924 CPUtime=0
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 11854757 11186176 283 1992294400 134512640 137138936 4286764192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 2731 283 184 642 0 2087 0

[startup+0.037421 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 17065
/proc/meminfo: memFree=1714296/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=11056 CPUtime=0.03
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 421 0 0 0 3 0 0 0 20 0 1 0 11854757 11321344 331 1992294400 134512640 137138936 4286764192 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 2764 331 192 642 0 2120 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11056

[startup+0.10143 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 17065
/proc/meminfo: memFree=1714296/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=11436 CPUtime=0.09
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 524 0 0 0 9 0 0 0 20 0 1 0 11854757 11710464 434 1992294400 134512640 137138936 4286764192 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 2859 434 192 642 0 2215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11436

[startup+0.301458 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 17065
/proc/meminfo: memFree=1714296/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=12588 CPUtime=0.29
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 792 0 0 0 29 0 0 0 20 0 1 0 11854757 12890112 702 1992294400 134512640 137138936 4286764192 18446744073709551615 134575813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 3147 702 192 642 0 2503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12588

[startup+0.701515 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 17065
/proc/meminfo: memFree=1714296/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=14644 CPUtime=0.69
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 1296 0 0 0 69 0 0 0 20 0 1 0 11854757 14995456 1206 1992294400 134512640 137138936 4286764192 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 3661 1206 192 642 0 3017 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14644

[startup+1.50063 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1709328/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=17216 CPUtime=1.49
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 1962 0 0 0 149 0 0 0 22 0 1 0 11854757 17629184 1872 1992294400 134512640 137138936 4286764192 18446744073709551615 134607225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 4304 1873 192 642 0 3660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17216

[startup+3.10086 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1706104/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=19516 CPUtime=3.09
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 2525 0 0 0 308 1 0 0 25 0 1 0 11854757 19984384 2435 1992294400 134512640 137138936 4286764192 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 4879 2435 192 642 0 4235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19516

[startup+6.30131 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1702632/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=21972 CPUtime=6.29
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 3150 0 0 0 627 2 0 0 25 0 1 0 11854757 22499328 3060 1992294400 134512640 137138936 4286764192 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 5493 3060 192 642 0 4849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21972

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1699036/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=25536 CPUtime=12.69
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4031 0 0 0 1265 4 0 0 25 0 1 0 11854757 26148864 3941 1992294400 134512640 137138936 4286764192 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 6384 3941 192 642 0 5740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25536

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1697920/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=26656 CPUtime=25.48
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4320 0 0 0 2542 6 0 0 25 0 1 0 11854757 27295744 4230 1992294400 134512640 137138936 4286764192 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 6664 4230 192 642 0 6020 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26656

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17066
/proc/meminfo: memFree=1696556/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=28036 CPUtime=51.07
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4659 0 0 0 5095 12 0 0 25 0 1 0 11854757 28708864 4569 1992294400 134512640 137138936 4286764192 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7009 4569 192 642 0 6365 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28036

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17068
/proc/meminfo: memFree=1696432/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=28024 CPUtime=102.26
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4659 0 0 0 10203 23 0 0 25 0 1 0 11854757 28696576 4569 1992294400 134512640 137138936 4286764192 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7006 4569 192 642 0 6362 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28024

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17070
/proc/meminfo: memFree=1696308/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=28016 CPUtime=162.23
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4659 0 0 0 16189 34 0 0 25 0 1 0 11854757 28688384 4569 1992294400 134512640 137138936 4286764192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7004 4569 192 642 0 6360 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28016

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17072
/proc/meminfo: memFree=1695812/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=28656 CPUtime=222.22
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4817 0 0 0 22175 47 0 0 25 0 1 0 11854757 29343744 4727 1992294400 134512640 137138936 4286764192 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7164 4727 192 642 0 6520 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28656

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17074
/proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=29076 CPUtime=282.2
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 4921 0 0 0 28160 60 0 0 25 0 1 0 11854757 29773824 4831 1992294400 134512640 137138936 4286764192 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7269 4831 192 642 0 6625 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 29076

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17077
/proc/meminfo: memFree=1692836/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=30940 CPUtime=342.18
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5398 0 0 0 34147 71 0 0 25 0 1 0 11854757 31682560 5308 1992294400 134512640 137138936 4286764192 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7735 5308 192 642 0 7091 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 30940

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 17079
/proc/meminfo: memFree=1692836/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=30948 CPUtime=402.16
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5399 0 0 0 40135 81 0 0 25 0 1 0 11854757 31690752 5309 1992294400 134512640 137138936 4286764192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7737 5309 192 642 0 7093 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 30948

[startup+462.302 s]
/proc/loadavg: 1.06 1.02 0.94 2/107 17081
/proc/meminfo: memFree=1692588/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=31356 CPUtime=462.14
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5493 0 0 0 46122 92 0 0 25 0 1 0 11854757 32108544 5403 1992294400 134512640 137138936 4286764192 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7839 5403 192 642 0 7195 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 31356

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 0.94 2/107 17083
/proc/meminfo: memFree=1692092/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=31812 CPUtime=522.12
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5606 0 0 0 52109 103 0 0 25 0 1 0 11854757 32575488 5516 1992294400 134512640 137138936 4286764192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7953 5516 192 642 0 7309 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 31812

[startup+582.302 s]
/proc/loadavg: 1.01 1.00 0.94 2/107 17085
/proc/meminfo: memFree=1692092/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=31808 CPUtime=582.1
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5606 0 0 0 58096 114 0 0 25 0 1 0 11854757 32571392 5516 1992294400 134512640 137138936 4286764192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7952 5516 192 642 0 7308 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 31808

[startup+642.302 s]
/proc/loadavg: 1.06 1.01 0.95 2/107 17085
/proc/meminfo: memFree=1692092/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=31804 CPUtime=642.08
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 5606 0 0 0 64084 124 0 0 25 0 1 0 11854757 32567296 5516 1992294400 134512640 137138936 4286764192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 7951 5516 192 642 0 7307 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 31804

[startup+702.302 s]

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

/proc/meminfo: memFree=1687132/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36700 CPUtime=1121.9
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 111984 206 0 0 25 0 1 0 11854757 37580800 6751 1992294400 134512640 137138936 4286764192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9175 6751 192 642 0 8531 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 36700

[startup+1182.3 s]
/proc/loadavg: 1.09 1.05 0.97 2/107 17101
/proc/meminfo: memFree=1687132/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36700 CPUtime=1181.88
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 117970 218 0 0 25 0 1 0 11854757 37580800 6751 1992294400 134512640 137138936 4286764192 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9175 6751 192 642 0 8531 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 36700

[startup+1242.3 s]
/proc/loadavg: 1.08 1.05 0.98 2/107 17101
/proc/meminfo: memFree=1687008/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36688 CPUtime=1241.87
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 123957 230 0 0 25 0 1 0 11854757 37568512 6748 1992294400 134512640 137138936 4286764192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9172 6748 192 642 0 8528 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 36688

[startup+1302.3 s]
/proc/loadavg: 1.03 1.04 0.98 2/107 17103
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36688 CPUtime=1301.85
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 129943 242 0 0 25 0 1 0 11854757 37568512 6748 1992294400 134512640 137138936 4286764192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9172 6748 192 642 0 8528 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 36688

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 0.98 2/107 17105
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36688 CPUtime=1361.83
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 135931 252 0 0 25 0 1 0 11854757 37568512 6748 1992294400 134512640 137138936 4286764192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9172 6748 192 642 0 8528 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 36688

[startup+1422.31 s]
/proc/loadavg: 1.12 1.05 0.99 2/107 17107
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36684 CPUtime=1421.81
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 141919 262 0 0 25 0 1 0 11854757 37564416 6747 1992294400 134512640 137138936 4286764192 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9171 6747 192 642 0 8527 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 36684

[startup+1482.3 s]
/proc/loadavg: 1.04 1.04 0.99 2/107 17109
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36680 CPUtime=1481.78
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 147906 272 0 0 25 0 1 0 11854757 37560320 6746 1992294400 134512640 137138936 4286764192 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9170 6746 192 642 0 8526 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 36680

[startup+1542.3 s]
/proc/loadavg: 1.01 1.03 0.99 2/107 17109
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36680 CPUtime=1541.77
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 153892 285 0 0 25 0 1 0 11854757 37560320 6746 1992294400 134512640 137138936 4286764192 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9170 6746 192 642 0 8526 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 36680

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/107 17111
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36680 CPUtime=1601.75
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 159879 296 0 0 25 0 1 0 11854757 37560320 6746 1992294400 134512640 137138936 4286764192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9170 6746 192 642 0 8526 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 36680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 0.99 2/107 17113
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36680 CPUtime=1661.74
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 165866 308 0 0 25 0 1 0 11854757 37560320 6746 1992294400 134512640 137138936 4286764192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9170 6746 192 642 0 8526 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 36680

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 17115
/proc/meminfo: memFree=1686884/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36676 CPUtime=1721.71
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 171853 318 0 0 25 0 1 0 11854757 37556224 6745 1992294400 134512640 137138936 4286764192 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9169 6745 192 642 0 8525 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 36676

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1781.69
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 177841 328 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 36672

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1791.3
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 178800 330 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 36672

[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1794.5
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179119 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 36672

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1796.09
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179278 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 36672

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1796.89
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179358 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 36672

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1797.69
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179438 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 36672

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1797.89
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179458 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 36672

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17117
/proc/meminfo: memFree=1686636/2059040 swapFree=4144492/4192956
[pid=17065] ppid=17063 vsize=36672 CPUtime=1797.99
/proc/17065/stat : 17065 (bsolo_pb10) R 17063 17065 16430 0 -1 4202496 6846 0 0 0 179468 331 0 0 25 0 1 0 11854757 37552128 6744 1992294400 134512640 137138936 4286764192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17065/statm: 9168 6744 192 642 0 8524 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 36672

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798
CPU user time (s): 1794.69
CPU system time (s): 3.3195
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 36748

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

runsolver used 2.93055 second user time and 8.5267 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-16 18:27:47
IDJOB=2670727
IDBENCH=48080
IDSOLVER=1162
FILE ID=node049/2670727-1276705667
PBS_JOBID= 11174095
Free space on /tmp= 62524 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670727-1276705667/watcher-2670727-1276705667 -o /tmp/evaluation-result-2670727-1276705667/solver-2670727-1276705667 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670727-1276705667.opb

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

MD5SUM BENCH= 65bc139f592885e582edbd6d46332a4d
RANDOM SEED=587849728

node049.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.244
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.48
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.244
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:       1715196 kB
Buffers:        126604 kB
Cached:         119952 kB
SwapCached:       5920 kB
Active:         108600 kB
Inactive:       154952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1715196 kB
SwapTotal:     4192956 kB
SwapFree:      4144492 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       14108 kB
Mapped:          12988 kB
Slab:            58344 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184464 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670727-1276705667.opb

Free space on /tmp at the end= 62520 MiB
End job on node049 at 2010-06-16 18:57:46