Trace number 1877107

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1SAT68 1798.13 1798.65

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.12
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.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1877107-1245146539.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.03	c Highest Coefficient sum: 324
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.028 s
0.00/0.03	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.03	c Obj. Vars: 180 (33.3333 % of total variables)
0.00/0.07	c Pre-processing Time: 0.07 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    540     4626    21888    4    14136   31514      0      0 0.07
0.00/0.07	c Switching off lower bounding mode.
0.09/0.10	c      101    540     4762    25113    5    15381   34666    136   1262 0.08
0.09/0.10	o 86
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      187    540     4878    31648    6    15649   31874    252   1870 0.10
0.09/0.19	c      287    540     4995    38698    7    15659   35062    369   2174 0.13
0.09/0.19	o 84
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      458    540     5207    50932    9    16470   31874    581   2410 0.19
0.19/0.25	c      558    540     5323    57836   10    16443   35062    697   2513 0.22
0.19/0.25	o 82
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c      664    540     5470    67325   12    16817   31874    844   2614 0.25
0.19/0.26	o 80
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c      678    540     5487    68062   12    17093   31874    861   2607 0.26
0.29/0.30	c      780    540     5610    74593   13    16858   35062    984   2662 0.29
0.29/0.30	o 78
0.69/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.80	c      810    540     5644    75963   13    17092   31874   1018   2682 0.30
0.69/0.80	c      910    540     5755    81805   14    17356   35062   1129   2700 0.34
0.69/0.80	c     1160    540     6041   105274   17    18290   38569   1415   2521 0.46
0.69/0.80	c     1636    540     6720   143301   21    18922   42426   2094   2548 0.64
0.69/0.80	o 76
7.59/7.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.65	c     1939    540     7139   167555   23    20579   31874   2513   2429 0.80
7.59/7.65	c     2039    540     7273   173639   23    20863   35062   2647   2387 0.85
7.59/7.65	c     2290    540     7602   198866   26    22241   38569   2976   2285 1.00
7.59/7.65	c     2766    540     8220   247911   30    23101   42426   3594   2024 1.37
7.59/7.65	c     3580    540     9294   373123   40    25274   46669   4668   1598 2.24
7.59/7.65	c     4900    540    11038   540552   48    28798   51336   6412   1361 3.60
7.59/7.65	c     6982    540    13752   825952   60    34537   56470   9126    973 7.17
7.59/7.65	o 74
55.27/55.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.27/55.35	c     7365    540    14317   851553   59    36320   31874   9691    962 7.65
55.27/55.35	c     7466    540    14446   861700   59    36701   35062   9820    954 7.82
55.27/55.35	c     7722    540    14770   889755   60    37193   38569  10144    933 8.27
55.27/55.35	c     8197    540    15349   938969   61    38727   42426  10723    889 9.22
55.27/55.35	c     9010    540    16419  1039463   63    41075   46669  11793    817 11.03
55.27/55.35	c    10330    540    18228  1214534   66    44840   51336  13602    705 14.64
55.27/55.35	c    12411    540    21093  1542360   73    50621   56470  16467    584 21.23
55.27/55.35	c    15634    540    25393  1995200   78    59913   62118  20767    489 31.92
55.27/55.35	o 72
67.97/68.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
67.97/68.09	c    20282    540    31901  2725647   85    74069   31874  27275    366 55.34
67.97/68.09	c    20382    540    32041  2739134   85    74313   35062  27415    364 55.91
67.97/68.09	c    20632    540    32361  2767458   85    74578   38569  27735    360 57.29
67.97/68.09	c    21107    540    33037  2837699   85    76230   42426  28411    351 59.97
67.97/68.09	c    21925    540    34148  2952055   86    79036   46669  29522    343 63.84
67.97/68.09	o 70
688.09/688.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
688.09/688.37	c    22735    540    35251  3044644   86    80999   31874  30625    334 68.07
688.09/688.37	c    22838    540    35404  3050558   86    81133   35062  30778    333 68.51
688.09/688.37	c    23088    540    35756  3072270   85    82712   38569  31130    332 69.43
688.09/688.37	c    23563    540    36398  3132830   86    84090   42426  31772    324 72.67
688.09/688.37	c    24376    540    37515  3246472   86    86066   46669  32889    309 78.69
688.09/688.37	c    25696    540    39266  3427199   87    90054   51336  34640    295 86.98
688.09/688.37	c    27777    540    42044  3709041   88    96022   56470  37418    275 100.95
688.09/688.37	c    31001    540    46622  4176311   89   106252   62118  41996    247 125.19
688.09/688.37	c    35938    540    53525  5026841   93   121531   68330  48899    217 165.14
688.09/688.37	c    43444    540    64449  6459744  100   144765   75164  59823    178 244.01
688.09/688.37	c    54807    540    24803  2289600   92    58125   82681  20177    140 388.87
688.09/688.37	c    71952    540    49773  5151328  103   110783   90950  45147    136 528.73
688.09/688.37	o 68
1798.08/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.08/1798.62	c    88457    540    73183  7816292  106   161455   31874  68557    128 688.17
1798.08/1798.62	c    88557    540    20684  1587377   76    48465   35062  16058    128 691.62
1798.08/1798.62	c    88808    540    21010  1610544   76    49196   38569  16384    128 692.40
1798.08/1798.62	c    89283    540    21640  1663742   76    50624   42426  17014    128 693.73
1798.08/1798.62	c    90096    540    22826  1753185   76    52838   46669  18200    129 696.49
1798.08/1798.62	c    91420    540    24634  1936336   78    57305   51336  20008    130 701.21
1798.08/1798.62	c    93503    540    27670  2219764   80    63864   56470  23044    131 711.12
1798.08/1798.62	c    96728    540    32302  2785048   86    73893   62118  27676    132 728.45
1798.08/1798.62	c   101667    540    39486  3751141   94    89093   68330  34860    134 758.63
1798.08/1798.62	c   109173    540    49938  5132514  102   111556   75164  45312    134 809.68
1798.08/1798.62	c   120534    540    65905  7159436  108   144621   82681  61279    131 916.03
1798.08/1798.62	c   137678    540    29198  2409998   82    66589   90950  24572    118 1159.69
1798.08/1798.62	c   163497    540    67253  7232066  107   147373  100046  62627    116 1401.04
1798.08/1798.62	c Resources Exceeded
1798.08/1798.62	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 
1798.08/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.08/1798.62	c   57   187785  45822   332604   103105 11472248  98479    104 1798.10
1798.08/1798.62	c Objective: 68
1798.08/1798.62	s SATISFIABLE
1798.08/1798.62	c Total time: 1798.1 s

Verifier Data 

OK	68

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877107-1245146539/watcher-1877107-1245146539 -o /tmp/evaluation-result-1877107-1245146539/solver-1877107-1245146539 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877107-1245146539.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/64 7406
/proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=10908 CPUtime=0
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 182251144 11169792 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 2727 236 175 640 0 2033 0

[startup+0.099763 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7406
/proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=11800 CPUtime=0.08
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 642 0 0 0 8 0 0 0 18 0 1 0 182251144 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 2950 549 197 640 0 2306 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11800

[startup+0.101763 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7406
/proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=11800 CPUtime=0.09
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 182251144 12083200 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 2950 549 197 640 0 2306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11800

[startup+0.301786 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7406
/proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=12416 CPUtime=0.29
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 787 0 0 0 29 0 0 0 19 0 1 0 182251144 12713984 694 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 3104 694 197 640 0 2460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12416

[startup+0.701828 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7406
/proc/meminfo: memFree=1814272/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=13536 CPUtime=0.69
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 1064 0 0 0 68 1 0 0 22 0 1 0 182251144 13860864 971 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 3384 971 198 640 0 2740 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13536

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1810424/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=15284 CPUtime=1.49
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 1495 0 0 0 148 1 0 0 25 0 1 0 182251144 15650816 1402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 3821 1402 198 640 0 3177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15284

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1808120/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=18172 CPUtime=3.09
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 2218 0 0 0 307 2 0 0 25 0 1 0 182251144 18608128 2125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 4543 2125 198 640 0 3899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18172

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1803256/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=22040 CPUtime=6.29
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 3187 0 0 0 625 4 0 0 25 0 1 0 182251144 22568960 3094 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 5510 3094 198 640 0 4866 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22040

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1797496/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=27248 CPUtime=12.69
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 4486 0 0 0 1264 5 0 0 25 0 1 0 182251144 27901952 4393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 6812 4393 198 640 0 6168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27248

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1789240/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=35236 CPUtime=25.48
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 6473 0 0 0 2540 8 0 0 25 0 1 0 182251144 36081664 6380 1992294400 134512640 137136520 4294956256 18446744073709551615 136501965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 8809 6380 198 640 0 8165 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35236

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1776888/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=47668 CPUtime=51.08
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 9601 0 0 0 5095 13 0 0 25 0 1 0 182251144 48812032 9508 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 11917 9508 198 640 0 11273 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47668

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1760952/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=63276 CPUtime=102.26
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 13508 0 0 0 10207 19 0 0 25 0 1 0 182251144 64794624 13415 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 15819 13415 198 640 0 15175 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63276

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1744056/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=80440 CPUtime=162.24
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 17772 0 0 0 16198 26 0 0 25 0 1 0 182251144 82370560 17679 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 20110 17679 198 640 0 19466 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 80440

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1728376/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=95832 CPUtime=222.23
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 21630 0 0 0 22189 34 0 0 25 0 1 0 182251144 98131968 21537 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 23958 21537 198 640 0 23314 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 95832

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1715448/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=108796 CPUtime=282.21
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 24874 0 0 0 28183 38 0 0 25 0 1 0 182251144 111407104 24781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 27199 24781 198 640 0 26555 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 108796

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1704440/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=119620 CPUtime=342.19
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 27575 0 0 0 34177 42 0 0 25 0 1 0 182251144 122490880 27482 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 29905 27482 198 640 0 29261 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 119620

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1696248/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=127516 CPUtime=402.17
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 40172 45 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 31879 29463 198 640 0 31235 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 127516

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1696312/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=127516 CPUtime=462.16
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 46168 48 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 31879 29463 198 640 0 31235 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 127516

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=127516 CPUtime=522.14
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 52165 49 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 31879 29463 198 640 0 31235 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 127516

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=127516 CPUtime=582.12
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 58161 51 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 31879 29463 198 640 0 31235 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 127516

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1696376/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=127516 CPUtime=642.11
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 29630 0 0 0 64157 54 0 0 25 0 1 0 182251144 130576384 29463 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 31879 29463 198 640 0 31235 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 127516

[startup+702.301 s]

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

/proc/meminfo: memFree=1683896/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=139748 CPUtime=1121.97
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 32690 0 0 0 112123 74 0 0 25 0 1 0 182251144 143101952 32523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 34937 32523 198 640 0 34293 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 139748

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1181.95
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 118119 76 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 142528

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1241.93
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 124114 79 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 142528

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1301.92
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 130110 82 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 142528

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1361.9
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 136107 83 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 142528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1421.88
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 142104 84 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 142528

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1481.86
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 148100 86 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 142528

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1680824/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=142528 CPUtime=1541.84
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33479 0 0 0 154097 87 0 0 25 0 1 0 182251144 145948672 33231 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35632 33231 198 640 0 34988 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 142528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1679800/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=143716 CPUtime=1601.82
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 33770 0 0 0 160094 88 0 0 25 0 1 0 182251144 147165184 33522 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 35929 33522 198 640 0 35285 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 143716

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1671736/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=151656 CPUtime=1661.81
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 35737 0 0 0 166090 91 0 0 25 0 1 0 182251144 155295744 35489 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 37914 35489 198 640 0 37270 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 151656

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1664248/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=159196 CPUtime=1721.79
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 37623 0 0 0 172085 94 0 0 25 0 1 0 182251144 163016704 37375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 39799 37375 198 640 0 39155 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 159196

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1656248/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=167004 CPUtime=1781.77
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 39596 0 0 0 178080 97 0 0 25 0 1 0 182251144 171012096 39348 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 41751 39348 198 640 0 41107 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 167004

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654904/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=168328 CPUtime=1791.38
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 39911 0 0 0 179040 98 0 0 25 0 1 0 182251144 172367872 39663 1992294400 134512640 137136520 4294956256 18446744073709551615 136518848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42082 39663 198 640 0 41438 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 168328

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 7407
/proc/meminfo: memFree=1654584/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=168724 CPUtime=1794.58
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40000 0 0 0 179360 98 0 0 25 0 1 0 182251144 172773376 39752 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42181 39752 198 640 0 41537 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 168724

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654392/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=168856 CPUtime=1796.17
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40057 0 0 0 179519 98 0 0 25 0 1 0 182251144 172908544 39809 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42214 39809 198 640 0 41570 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 168856

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654264/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=168988 CPUtime=1796.97
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40089 0 0 0 179599 98 0 0 25 0 1 0 182251144 173043712 39841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42247 39841 198 640 0 41603 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 168988

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654264/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=169120 CPUtime=1797.78
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40113 0 0 0 179679 99 0 0 25 0 1 0 182251144 173178880 39865 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42280 39865 198 640 0 41636 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 169120

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654072/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=169120 CPUtime=1797.98
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40120 0 0 0 179699 99 0 0 25 0 1 0 182251144 173178880 39872 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42280 39872 198 640 0 41636 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 169120

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7407
/proc/meminfo: memFree=1654072/2055920 swapFree=4191900/4192956
[pid=7406] ppid=7404 vsize=169120 CPUtime=1798.08
/proc/7406/stat : 7406 (bsolo) R 7404 7406 7292 0 -1 4194304 40122 0 0 0 179709 99 0 0 25 0 1 0 182251144 173178880 39874 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7406/statm: 42280 39874 198 640 0 41636 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 169120

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.13
CPU user time (s): 1797.11
CPU system time (s): 1.01984
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 169120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.11
system time used= 1.01984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40126
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= 2
involuntary context switches= 3249

runsolver used 1.15182 second user time and 3.88641 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-16 12:02:19
IDJOB=1877107
IDBENCH=2007
IDSOLVER=699
FILE ID=node37/1877107-1245146539
PBS_JOBID= 9363737
Free space on /tmp= 66168 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877107-1245146539/watcher-1877107-1245146539 -o /tmp/evaluation-result-1877107-1245146539/solver-1877107-1245146539 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877107-1245146539.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=87004751

node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1814688 kB
Buffers:         34980 kB
Cached:         127484 kB
SwapCached:        260 kB
Active:          28840 kB
Inactive:       146912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1814688 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4136 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            51484 kB
Committed_AS:   157352 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877107-1245146539.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-16 12:32:18