Trace number 2670573

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 CardSAT9 1798.01 1798.47

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
MD5SUM79cf27053836a1888aee43ca3805fcdd
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 benchmark3.86941
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 variables162
Total number of constraints13
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 constraints13
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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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-2670573-1276702715.opb
0.00/0.00	c File size is 36227 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.006 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.01	c Pre-processing Time: 0.014 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    648      991     4149    4     3569    5544      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.69/0.73	c      101    648     1190    17366   14     4017    6099    199   2589 0.04
0.69/0.73	c      252    648     1489    36518   24     4775    6709    498   2964 0.09
0.69/0.73	c      477    648     1926    65847   34     5942    7380    935   2981 0.16
0.69/0.73	c      815    648     2579   111395   43     7688    8119   1588   2942 0.28
0.69/0.73	c     1323    648     3550   171259   48    10341    8931   2559   2882 0.46
0.69/0.73	o 11
231.73/231.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
231.73/231.86	c     1977    648     4797   247615   51    13698    5562   3806   2708 0.73
231.73/231.86	c     2077    618     4968   259577   52    14040    6119   3977   2697 0.77
231.73/231.86	c     2328    608     5374   294881   54    14866    6731   4383   2648 0.88
231.73/231.86	c     2804    608     6275   368332   58    17054    7405   5284   2579 1.09
231.73/231.86	c     3618    608     7820   487117   62    21249    8146   6829   2316 1.56
231.73/231.86	c     4938    608     6001   391772   65    15829    8961   5010   2095 2.36
231.73/231.86	c     7019    608     5477   304261   55    14828    9858   4486   1915 3.67
231.73/231.86	c    10243    608     6689   354303   52    18181   10844   5698   1484 6.90
231.73/231.86	c    15180    608    10696   600860   56    28497   11929   9705   1303 11.65
231.73/231.86	c    22686    608    12870   869614   67    33313   13122  11879   1282 17.69
231.73/231.86	c    34048    593    13321   800519   60    35067   14435  12330   1163 29.26
231.73/231.86	c    51192    593     8646   547384   63    22844   15879   7655    999 51.20
231.73/231.86	c    77012    593     9906   569876   57    26326   17467   8915    910 84.62
231.73/231.86	c   115845    593    10648   704039   66    27912   19214   9657    863 134.22
231.73/231.86	c   174198    592    11008   823696   74    27722   21136  10017    782 222.57
231.73/231.86	o 9
1797.93/1798.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.46	c   183854    592    18422  1253953   68    47718    5552  17431    793 231.80
1797.93/1798.46	c   183955    592     3951   211983   53    10611    6108   2960    792 232.16
1797.93/1798.46	c   184205    592     4439   245602   55    11949    6719   3448    793 232.25
1797.93/1798.46	c   184680    592     5371   314530   58    14241    7391   4380    794 232.45
1797.93/1798.46	c   185494    592     6845   415386   60    17991    8131   5854    796 232.84
1797.93/1798.46	c   186815    592     5065   308814   60    13113    8945   4074    798 233.94
1797.93/1798.46	c   188896    592     8831   571356   64    22806    9840   7840    799 236.32
1797.93/1798.46	c   192120    592     9657   602065   62    25573   10825   8666    796 241.22
1797.93/1798.46	c   197056    592     7147   435505   60    18277   11908   6156    790 249.27
1797.93/1798.46	c   204563    592     8531   519954   60    22481   13099   7540    786 260.10
1797.93/1798.46	c   215924    592     8897   591387   66    22719   14409   7906    793 271.99
1797.93/1798.46	c   233068    592     9068   513751   56    23688   15850   8077    794 293.41
1797.93/1798.46	c   258887    592    16407  1094872   66    42103   17436  15416    787 328.62
1797.93/1798.46	c   297719    592    11144   683833   61    30032   19180  10153    791 375.97
1797.93/1798.46	c   356072    592    15243  1280349   83    36012   21099  14252    786 452.95
1797.93/1798.46	c   443704    592    14880   927644   62    39844   23209  13889    704 630.24
1797.93/1798.46	c   575258    592    23270  1712745   73    57773   25530  22279    602 955.48
1797.93/1798.46	c   772691    592    17990  1112138   61    46434   28084  16999    540 1429.21
1797.93/1798.46	c Resources Exceeded
1797.93/1798.46	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 x55 -x56 -x57 -x58 x59 x60 -x61 x62 -x63 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 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 x64 -x65 x66 -x67 x68 x69 -x70 x71 -x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -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 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 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 -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 x82 -x83 -x84 -x85 -x86 -x87 x88 x89 x90 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x136 -x137 -x138 x139 x140 x141 -x142 -x143 -x144 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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.93/1798.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.46	c   38   935287   7031   966141    26109  2044552  25118    520 1798.00
1797.93/1798.46	c Objective: 9
1797.93/1798.46	s SATISFIABLE
1797.93/1798.46	c Total time: 1798 s

Verifier Data 

OK	9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670573-1276702715/watcher-2670573-1276702715 -o /tmp/evaluation-result-2670573-1276702715/solver-2670573-1276702715 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670573-1276702715.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 1.00 3/106 10060
/proc/meminfo: memFree=1692696/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=10920 CPUtime=0
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 45875374 11182080 281 1992294400 134512640 137138936 4288711600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 2730 283 182 642 0 2086 0

[startup+0.0933371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10060
/proc/meminfo: memFree=1692696/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=11444 CPUtime=0.09
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 526 0 0 0 9 0 0 0 20 0 1 0 45875374 11718656 435 1992294400 134512640 137138936 4288711600 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 2861 435 192 642 0 2217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11444

[startup+0.100337 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10060
/proc/meminfo: memFree=1692696/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=11572 CPUtime=0.09
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 537 0 0 0 9 0 0 0 20 0 1 0 45875374 11849728 446 1992294400 134512640 137138936 4288711600 18446744073709551615 134603278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 2893 446 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572

[startup+0.300357 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10060
/proc/meminfo: memFree=1692696/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=12732 CPUtime=0.29
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 820 0 0 0 29 0 0 0 20 0 1 0 45875374 13037568 729 1992294400 134512640 137138936 4288711600 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 3183 729 192 642 0 2539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12732

[startup+0.700394 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10060
/proc/meminfo: memFree=1692696/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=14392 CPUtime=0.69
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 1260 0 0 0 69 0 0 0 21 0 1 0 45875374 14737408 1169 1992294400 134512640 137138936 4288711600 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 3598 1169 192 642 0 2954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14392

[startup+1.50047 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10061
/proc/meminfo: memFree=1687604/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=17864 CPUtime=1.49
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 2119 0 0 0 148 1 0 0 23 0 1 0 45875374 18292736 2028 1992294400 134512640 137138936 4288711600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 4466 2028 192 642 0 3822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17864

[startup+3.10062 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10061
/proc/meminfo: memFree=1683388/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=19792 CPUtime=3.09
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 2597 0 0 0 307 2 0 0 25 0 1 0 45875374 20267008 2506 1992294400 134512640 137138936 4288711600 18446744073709551615 134617976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 4948 2506 192 642 0 4304 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19792

[startup+6.30093 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10061
/proc/meminfo: memFree=1682644/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=20440 CPUtime=6.29
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 2764 0 0 0 627 2 0 0 25 0 1 0 45875374 20930560 2673 1992294400 134512640 137138936 4288711600 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 5110 2673 192 642 0 4466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20440

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10063
/proc/meminfo: memFree=1681528/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=22492 CPUtime=12.69
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 3280 0 0 0 1264 5 0 0 25 0 1 0 45875374 23031808 3189 1992294400 134512640 137138936 4288711600 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 5623 3189 192 642 0 4979 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22492

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10063
/proc/meminfo: memFree=1677188/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=25808 CPUtime=25.48
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 4105 0 0 0 2541 7 0 0 25 0 1 0 45875374 26427392 4014 1992294400 134512640 137138936 4288711600 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 6452 4014 192 642 0 5808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25808

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10063
/proc/meminfo: memFree=1676816/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=26188 CPUtime=51.08
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 4197 0 0 0 5096 12 0 0 25 0 1 0 45875374 26816512 4106 1992294400 134512640 137138936 4288711600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 6547 4106 192 642 0 5903 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26188

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10065
/proc/meminfo: memFree=1675328/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=27720 CPUtime=102.28
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 4589 0 0 0 10205 23 0 0 25 0 1 0 45875374 28385280 4498 1992294400 134512640 137138936 4288711600 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 6930 4498 192 642 0 6286 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27720

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10067
/proc/meminfo: memFree=1669500/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=33496 CPUtime=162.25
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6028 0 0 0 16189 36 0 0 25 0 1 0 45875374 34299904 5937 1992294400 134512640 137138936 4288711600 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 8374 5937 192 642 0 7730 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33496

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10067
/proc/meminfo: memFree=1669376/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=33488 CPUtime=222.23
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6028 0 0 0 22175 48 0 0 25 0 1 0 45875374 34291712 5937 1992294400 134512640 137138936 4288711600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 8372 5937 192 642 0 7728 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 33488

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10069
/proc/meminfo: memFree=1667764/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=35156 CPUtime=282.22
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6455 0 0 0 28163 59 0 0 25 0 1 0 45875374 35999744 6364 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 8789 6364 192 642 0 8145 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35156

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10071
/proc/meminfo: memFree=1667764/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=35156 CPUtime=342.21
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6455 0 0 0 34150 71 0 0 25 0 1 0 45875374 35999744 6364 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 8789 6364 192 642 0 8145 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 35156

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1666896/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=35904 CPUtime=402.18
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6631 0 0 0 40136 82 0 0 25 0 1 0 45875374 36765696 6540 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 8976 6540 192 642 0 8332 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 35904

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10075
/proc/meminfo: memFree=1665904/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=36908 CPUtime=462.17
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6882 0 0 0 46123 94 0 0 25 0 1 0 45875374 37793792 6791 1992294400 134512640 137138936 4288711600 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9227 6791 192 642 0 8583 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 36908

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10075
/proc/meminfo: memFree=1665904/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=36904 CPUtime=522.16
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6882 0 0 0 52113 103 0 0 25 0 1 0 45875374 37789696 6791 1992294400 134512640 137138936 4288711600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9226 6791 192 642 0 8582 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36904

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10077
/proc/meminfo: memFree=1665780/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=36900 CPUtime=582.14
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6882 0 0 0 58103 111 0 0 25 0 1 0 45875374 37785600 6791 1992294400 134512640 137138936 4288711600 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9225 6791 192 642 0 8581 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 36900

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10079
/proc/meminfo: memFree=1665780/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=36908 CPUtime=642.13
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 6885 0 0 0 64093 120 0 0 25 0 1 0 45875374 37793792 6794 1992294400 134512640 137138936 4288711600 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9227 6794 192 642 0 8583 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 36908

[startup+702.301 s]

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

/proc/meminfo: memFree=1662804/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1122
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 112005 195 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 39692

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10093
/proc/meminfo: memFree=1662804/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1181.99
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 117996 203 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 39692

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10095
/proc/meminfo: memFree=1662680/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1241.98
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 123985 213 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 39692

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10097
/proc/meminfo: memFree=1662556/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1301.97
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 129975 222 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 39692

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10108
/proc/meminfo: memFree=1661564/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1361.94
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 135964 230 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 39692

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10108
/proc/meminfo: memFree=1661564/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=39692 CPUtime=1421.92
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7585 0 0 0 141953 239 0 0 25 0 1 0 45875374 40644608 7494 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 9923 7494 192 642 0 9279 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 39692

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10110
/proc/meminfo: memFree=1661564/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=40200 CPUtime=1481.91
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7713 0 0 0 147942 249 0 0 25 0 1 0 45875374 41164800 7622 1992294400 134512640 137138936 4288711600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10050 7622 192 642 0 9406 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 40200

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10112
/proc/meminfo: memFree=1661812/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=40192 CPUtime=1541.89
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7713 0 0 0 153931 258 0 0 25 0 1 0 45875374 41156608 7622 1992294400 134512640 137138936 4288711600 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10048 7622 192 642 0 9404 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 40192

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10114
/proc/meminfo: memFree=1661812/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=40192 CPUtime=1601.88
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7713 0 0 0 159921 267 0 0 25 0 1 0 45875374 41156608 7622 1992294400 134512640 137138936 4288711600 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10048 7622 192 642 0 9404 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 40192

[startup+1662.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 10116
/proc/meminfo: memFree=1660820/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=41332 CPUtime=1661.85
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 7995 0 0 0 165908 277 0 0 25 0 1 0 45875374 42323968 7904 1992294400 134512640 137138936 4288711600 18446744073709551615 135984593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10333 7904 192 642 0 9689 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 41332

[startup+1722.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10116
/proc/meminfo: memFree=1659084/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43120 CPUtime=1721.84
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8442 0 0 0 171896 288 0 0 25 0 1 0 45875374 44154880 8351 1992294400 134512640 137138936 4288711600 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10780 8351 192 642 0 10136 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 43120

[startup+1782.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658960/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43112 CPUtime=1781.83
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8442 0 0 0 177886 297 0 0 25 0 1 0 45875374 44146688 8351 1992294400 134512640 137138936 4288711600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10778 8351 192 642 0 10134 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 43112

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

[startup+1791.91 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1791.43
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 178845 298 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 43584

[startup+1795.1 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1794.63
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179165 298 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 43584

[startup+1796.7 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1796.23
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179324 299 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 43584

[startup+1797.5 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1797.03
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179404 299 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 134542381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 43584

[startup+1797.9 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1797.43
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179444 299 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 43584

[startup+1798.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1797.83
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179484 299 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 43584

[startup+1798.4 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 10118
/proc/meminfo: memFree=1658464/2059040 swapFree=4140408/4192956
[pid=10060] ppid=10058 vsize=43584 CPUtime=1797.93
/proc/10060/stat : 10060 (bsolo_pb10) R 10058 10060 9519 0 -1 4202496 8558 0 0 0 179494 299 0 0 25 0 1 0 45875374 44630016 8467 1992294400 134512640 137138936 4288711600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10060/statm: 10896 8467 192 642 0 10252 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 43584

Child status: 0
Real time (s): 1798.47
CPU time (s): 1798.01
CPU user time (s): 1795.01
CPU system time (s): 2.99854
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 43584

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

runsolver used 2.79458 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-16 17:38:35
IDJOB=2670573
IDBENCH=48003
IDSOLVER=1162
FILE ID=node004/2670573-1276702715
PBS_JOBID= 11174129
Free space on /tmp= 62564 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=487-P1=127-P2=347-P3=419-P4=367-P5=149-P6=419-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670573-1276702715/watcher-2670573-1276702715 -o /tmp/evaluation-result-2670573-1276702715/solver-2670573-1276702715 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670573-1276702715.opb

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

MD5SUM BENCH= 79cf27053836a1888aee43ca3805fcdd
RANDOM SEED=436169172

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1693472 kB
Buffers:        122712 kB
Cached:         147644 kB
SwapCached:       6480 kB
Active:         100476 kB
Inactive:       183728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1693472 kB
SwapTotal:     4192956 kB
SwapFree:      4140408 kB
Dirty:            4000 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:          13132 kB
Slab:            59468 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182724 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670573-1276702715.opb

Free space on /tmp at the end= 62560 MiB
End job on node004 at 2010-06-16 18:08:34