Trace number 2656444

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 CardSAT216 1798.02 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
MD5SUM9cfc9eabeae08d1064da7d7b87db93a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark192
Best CPU time to get the best result obtained on this benchmark1789.49
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables473
Total number of constraints473
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 constraints473
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Instance file HOME/instance-2656444-1276365564.opb
0.00/0.01	c File size is 43304 bytes.
0.00/0.01	c Highest Coefficient sum: 473
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.01	c Var: 473 Constr: 473 1/0/472 Lit: 4279 Watch. Lit: 1524
0.00/0.01	c Obj. Vars: 473 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0    473      473     4279    9     1945    8538      0      0 0.01
0.89/0.99	c Initial Lower Bound: 143
0.89/0.99	c Initial Path Cost: 0
0.89/0.99	o 234
6.69/6.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.71	c        0    473      474     4752   10     2436    9538      1      0 0.99
6.69/6.71	o 232
13.39/13.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.39/13.44	c        1    473      476     5465   11     2683    9538      3      0 6.71
13.39/13.44	o 228
19.89/19.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.89/19.91	c        1    473      477     5938   12     2976    9538      4      0 13.44
19.89/19.91	o 224
26.48/26.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.48/26.55	c        1    473      478     6411   13     3261    9538      5      0 19.91
26.48/26.55	o 223
83.17/83.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.17/83.25	c       60    473      641    45559   71     3844    9538    168      2 26.54
83.17/83.25	c      161    473      920   115593  125     4355   10492    447      4 33.38
83.17/83.25	c      411    473     1647   312907  189     5838   11542   1174      9 41.53
83.17/83.25	c      887    473     3068   667691  217     8637   12697   2595     17 50.97
83.17/83.25	c     1701    473     5235  1200954  229    13014   13967   4762     27 61.13
83.17/83.25	c     3021    473     9136  2274741  248    20828   15364   8663     40 75.10
83.17/83.25	o 222
98.04/98.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.04/98.12	c     3387    473     9822  2439345  248    22429    9538   9349     40 83.23
98.04/98.12	c     3488    473     5243  1260919  240    11971   10492   4770     38 90.42
98.04/98.12	o 221
202.62/202.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
202.62/202.78	c     3520    473     5290  1272472  240    12408    9538   4817     35 98.08
202.62/202.78	c     3621    473     5581  1353120  242    12950   10492   5108     34 105.92
202.62/202.78	c     3872    473     6311  1533956  243    14442   11542   5838     33 114.26
202.62/202.78	c     4347    473     7643  1905255  249    17124   12697   7170     35 124.00
202.62/202.78	c     5160    473     9964  2497969  250    21763   13967   9491     38 135.66
202.62/202.78	c     6480    473    13550  3419123  252    28926   15364  13077     43 149.88
202.62/202.78	c     8561    473    11182  2776609  248    23936   16901  10709     50 169.28
202.62/202.78	c    11785    473    11516  2824008  245    24629   18592  11043     60 195.82
202.62/202.78	o 220
247.31/247.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
247.31/247.41	c    11803    473    11535  2828594  245    24880    9538  11062     58 202.71
247.31/247.41	c    11903    473     5541  1289899  232    12656   10492   5068     56 210.56
247.31/247.41	c    12153    473     6194  1450292  234    13968   11542   5721     55 219.84
247.31/247.41	c    12629    473     7432  1762359  237    16434   12697   6959     55 228.86
247.31/247.41	c    13442    473     9788  2331013  238    21134   13967   9315     56 240.02
247.31/247.41	o 219
322.88/323.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
322.88/323.09	c    13538    473    10048  2393841  238    21896    9538   9575     54 247.32
322.88/323.09	c    13638    473     5508  1257809  228    12579   10492   5035     53 255.50
322.88/323.09	c    13890    473     6235  1453295  233    14052   11542   5762     52 263.41
322.88/323.09	c    14366    473     7644  1824193  238    16790   12697   7171     52 272.65
322.88/323.09	c    15179    473    10040  2495830  248    21733   13967   9567     53 283.58
322.88/323.09	c    16500    473    13804  3517405  254    29218   15364  13331     55 297.65
322.88/323.09	c    18581    473    11600  3046489  262    24855   16901  11127     58 316.43
322.88/323.09	o 218
719.96/720.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
719.96/720.21	c    18582    473    11602  3047184  262    25088    9538  11129     57 322.99
719.96/720.21	c    18682    473     5528  1396183  252    12632   10492   5055     56 330.06
719.96/720.21	c    18933    473     6276  1620092  258    14101   11542   5803     55 338.81
719.96/720.21	c    19408    473     7394  1888203  255    16357   12697   6921     55 347.97
719.96/720.21	c    20222    473     9758  2539519  260    21075   13967   9285     56 359.72
719.96/720.21	c    21543    473    13512  3534154  261    28615   15364  13039     57 373.54
719.96/720.21	c    23625    473    10993  2729795  248    23517   16901  10520     60 391.89
719.96/720.21	c    26848    473    11484  2863854  249    24580   18592  11011     64 419.50
719.96/720.21	c    31785    473    11658  2776224  238    25164   20452  11185     69 454.33
719.96/720.21	c    39291    473    11208  2820335  251    23993   22498  10735     77 507.75
719.96/720.21	c    50653    473    18523  4566787  246    38614   24748  18050     85 589.74
719.96/720.21	c    67798    473    17947  4937634  275    37878   27223  17474     94 714.00
719.96/720.21	o 216
1797.94/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.56	c    67798    473    17948  4938107  275    38086    9538  17475     94 719.98
1797.94/1798.56	c    67900    473     5531  1428297  258    12767   10492   5058     93 727.79
1797.94/1798.56	c    68150    473     6268  1634479  260    14214   11542   5795     92 737.01
1797.94/1798.56	c    68626    473     7644  2031541  265    17014   12697   7171     91 748.29
1797.94/1798.56	c    69440    473    10037  2682932  267    21764   13967   9564     91 759.98
1797.94/1798.56	c    70760    473    13860  3785294  273    29425   15364  13387     91 776.09
1797.94/1798.56	c    72841    473    11910  3178625  266    25423   16901  11437     91 794.72
1797.94/1798.56	c    76064    473    12009  3202418  266    25641   18592  11536     92 820.89
1797.94/1798.56	c    81002    473    16571  4541300  274    34715   20452  16098     94 856.25
1797.94/1798.56	c    88508    473    17025  4751277  279    35670   22498  16552     97 908.56
1797.94/1798.56	c    99870    473    14606  3884513  265    30844   24748  14133    101 987.95
1797.94/1798.56	c   117015    473    13971  3869205  276    29558   27223  13498    105 1110.88
1797.94/1798.56	c   142834    473    18681  5179372  277    39097   29946  18208    110 1292.97
1797.94/1798.56	c   181666    473    25891  7393959  285    53875   32941  25418    113 1605.58
1797.94/1798.56	c Resources Exceeded
1797.94/1798.56	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 x64 -x65 -x66 -x67 x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93 x94 x95 x96 -x97 -x98 -x99 -x100 x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 x131 -x132 x133 -x134 x135 -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 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 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 -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 
1797.94/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.56	c   58   203401  26933   259467    22848  6790822  22375    113 1798.00
1797.94/1798.56	c Objective: 216
1797.94/1798.56	s SATISFIABLE
1797.94/1798.56	c Total time: 1798 s

Verifier Data 

OK	216

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656444-1276365564/watcher-2656444-1276365564 -o /tmp/evaluation-result-2656444-1276365564/solver-2656444-1276365564 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656444-1276365564.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.86 1.02 0.99 2/106 14870
/proc/meminfo: memFree=1828060/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=10792 CPUtime=0
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 12160369 11051008 260 1992294400 134512640 137138936 4288030928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 2698 261 182 642 0 2054 0

[startup+0.021409 s]
/proc/loadavg: 0.86 1.02 0.99 2/106 14870
/proc/meminfo: memFree=1828060/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=11024 CPUtime=0.01
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 430 0 0 0 1 0 0 0 20 0 1 0 12160369 11288576 338 1992294400 134512640 137138936 4288030928 18446744073709551615 135769852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 2756 338 218 642 0 2112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11024

[startup+0.101417 s]
/proc/loadavg: 0.86 1.02 0.99 2/106 14870
/proc/meminfo: memFree=1828060/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=12384 CPUtime=0.09
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 693 0 0 0 9 0 0 0 20 0 1 0 12160369 12681216 593 1992294400 134512640 137138936 4288030928 18446744073709551615 134768861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3096 593 278 642 0 2452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12384

[startup+0.301436 s]
/proc/loadavg: 0.86 1.02 0.99 2/106 14870
/proc/meminfo: memFree=1828060/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=12876 CPUtime=0.29
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 925 0 0 0 29 0 0 0 20 0 1 0 12160369 13185024 664 1992294400 134512640 137138936 4288030928 18446744073709551615 135447496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3219 664 278 642 0 2575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12876

[startup+0.701478 s]
/proc/loadavg: 0.86 1.02 0.99 2/106 14870
/proc/meminfo: memFree=1828060/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=12920 CPUtime=0.69
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 1282 0 0 0 69 0 0 0 21 0 1 0 12160369 13230080 732 1992294400 134512640 137138936 4288030928 18446744073709551615 135456378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3230 732 278 642 0 2586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12920

[startup+1.50156 s]
/proc/loadavg: 0.86 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1826812/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=13120 CPUtime=1.49
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 3296 0 0 0 149 0 0 0 23 0 1 0 12160369 13434880 625 1992294400 134512640 137138936 4288030928 18446744073709551615 135457620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3280 625 287 642 0 2636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13120

[startup+3.10072 s]
/proc/loadavg: 0.86 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1826564/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=13236 CPUtime=3.09
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 9362 0 0 0 306 3 0 0 25 0 1 0 12160369 13553664 652 1992294400 134512640 137138936 4288030928 18446744073709551615 135466083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3309 652 287 642 0 2665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13236

[startup+6.30105 s]
/proc/loadavg: 0.87 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1826440/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=13128 CPUtime=6.29
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 21113 0 0 0 622 7 0 0 25 0 1 0 12160369 13443072 534 1992294400 134512640 137138936 4288030928 18446744073709551615 135457398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3282 535 287 642 0 2638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13128

[startup+12.7007 s]
/proc/loadavg: 0.88 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1826316/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=13596 CPUtime=12.68
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 47395 0 0 0 1255 13 0 0 25 0 1 0 12160369 13922304 518 1992294400 134512640 137138936 4288030928 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3399 518 292 642 0 2755 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13596

[startup+25.501 s]
/proc/loadavg: 0.91 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1826192/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=13632 CPUtime=25.49
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 103407 0 0 0 2520 29 0 0 25 0 1 0 12160369 13959168 548 1992294400 134512640 137138936 4288030928 18446744073709551615 135440921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 3408 548 292 642 0 2764 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13632

[startup+51.1016 s]
/proc/loadavg: 0.94 1.02 0.99 2/107 14871
/proc/meminfo: memFree=1818876/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=22884 CPUtime=51.08
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 325564 0 0 0 5014 94 0 0 25 0 1 0 12160369 23433216 2935 1992294400 134512640 137138936 4288030928 18446744073709551615 135440726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 5721 2935 292 642 0 5077 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22884

[startup+102.309 s]
/proc/loadavg: 0.97 1.01 0.99 2/107 14882
/proc/meminfo: memFree=1792836/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=47140 CPUtime=102.25
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 826412 0 0 0 9988 237 0 0 25 0 1 0 12160369 48271360 8836 1992294400 134512640 137138936 4288030928 18446744073709551615 135440914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 11785 8836 292 642 0 11141 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47140

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 0.99 2/107 14884
/proc/meminfo: memFree=1774112/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=66652 CPUtime=162.23
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 1336294 0 0 0 15808 415 0 0 25 0 1 0 12160369 68251648 13780 1992294400 134512640 137138936 4288030928 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 16663 13780 292 642 0 16019 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 66652

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14886
/proc/meminfo: memFree=1766548/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=72436 CPUtime=222.22
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 1698537 0 0 0 21642 580 0 0 25 0 1 0 12160369 74174464 15299 1992294400 134512640 137138936 4288030928 18446744073709551615 135434255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 18109 15299 292 642 0 17465 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 72436

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14888
/proc/meminfo: memFree=1766672/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=72528 CPUtime=282.2
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 1946652 0 0 0 27533 687 0 0 25 0 1 0 12160369 74268672 15252 1992294400 134512640 137138936 4288030928 18446744073709551615 134850651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 18132 15252 292 642 0 17488 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 72528

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14888
/proc/meminfo: memFree=1766672/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=73444 CPUtime=342.18
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 2205228 0 0 0 33402 816 0 0 25 0 1 0 12160369 75206656 15306 1992294400 134512640 137138936 4288030928 18446744073709551615 135358760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 18361 15306 292 642 0 17717 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 73444

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14890
/proc/meminfo: memFree=1766672/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=70268 CPUtime=402.16
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 2470807 0 0 0 39258 958 0 0 25 0 1 0 12160369 71954432 15243 1992294400 134512640 137138936 4288030928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 17567 15243 292 642 0 16923 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 70268

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14892
/proc/meminfo: memFree=1760596/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=78044 CPUtime=462.14
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 2885242 0 0 0 45054 1160 0 0 25 0 1 0 12160369 79917056 16749 1992294400 134512640 137138936 4288030928 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 19065 16741 292 642 0 18421 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 78044

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14894
/proc/meminfo: memFree=1750180/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=88096 CPUtime=522.11
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 3329100 0 0 0 50822 1389 0 0 25 0 1 0 12160369 90210304 19371 1992294400 134512640 137138936 4288030928 18446744073709551615 135412542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 22024 19371 292 642 0 21380 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 88096

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14896
/proc/meminfo: memFree=1745220/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=92124 CPUtime=582.09
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 3737678 0 0 0 56590 1619 0 0 25 0 1 0 12160369 94334976 20707 1992294400 134512640 137138936 4288030928 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 23031 20707 292 642 0 22387 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 92124

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14896
/proc/meminfo: memFree=1721908/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=117868 CPUtime=642.09
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 4237950 0 0 0 62357 1852 0 0 25 0 1 0 12160369 120696832 26513 1992294400 134512640 137138936 4288030928 18446744073709551615 135440730 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29467 26513 292 642 0 28823 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 117868

[startup+702.302 s]

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

/proc/meminfo: memFree=1718312/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=118108 CPUtime=1061.96
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 4970301 0 0 0 103927 2269 0 0 25 0 1 0 12160369 120942592 27108 1992294400 134512640 137138936 4288030928 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29527 27108 292 642 0 28883 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 118108

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14913
/proc/meminfo: memFree=1718312/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=118108 CPUtime=1121.94
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 4970301 0 0 0 109920 2274 0 0 25 0 1 0 12160369 120942592 27108 1992294400 134512640 137138936 4288030928 18446744073709551615 134732328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29527 27108 292 642 0 28883 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 118108

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14915
/proc/meminfo: memFree=1718436/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=118276 CPUtime=1181.92
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 4970395 0 0 0 115915 2277 0 0 25 0 1 0 12160369 121114624 27101 1992294400 134512640 137138936 4288030928 18446744073709551615 135412667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29569 27101 292 642 0 28925 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 118276

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14915
/proc/meminfo: memFree=1718436/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=118276 CPUtime=1241.9
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 4970403 0 0 0 121909 2281 0 0 25 0 1 0 12160369 121114624 27109 1992294400 134512640 137138936 4288030928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29569 27109 292 642 0 28925 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 118276

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14917
/proc/meminfo: memFree=1718436/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=117656 CPUtime=1301.89
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 5048393 0 0 0 127867 2322 0 0 25 0 1 0 12160369 120479744 27090 1992294400 134512640 137138936 4288030928 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 29414 27090 292 642 0 28770 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 117656

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14919
/proc/meminfo: memFree=1710128/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=126352 CPUtime=1361.87
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 5422720 0 0 0 133672 2515 0 0 25 0 1 0 12160369 129384448 29264 1992294400 134512640 137138936 4288030928 18446744073709551615 134573856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 31588 29264 292 642 0 30944 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 126352

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14921
/proc/meminfo: memFree=1705912/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=133208 CPUtime=1421.85
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 5783475 0 0 0 139467 2718 0 0 25 0 1 0 12160369 136404992 30361 1992294400 134512640 137138936 4288030928 18446744073709551615 135443848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 33302 30361 292 642 0 32658 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 133208

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14923
/proc/meminfo: memFree=1705912/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=130688 CPUtime=1481.84
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 6107397 0 0 0 145268 2916 0 0 25 0 1 0 12160369 133824512 30348 1992294400 134512640 137138936 4288030928 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 33102 30354 292 642 0 32458 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 130688

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14923
/proc/meminfo: memFree=1705912/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=132384 CPUtime=1541.81
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 6413887 0 0 0 151086 3095 0 0 25 0 1 0 12160369 135561216 30351 1992294400 134512640 137138936 4288030928 18446744073709551615 135380612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 33096 30351 292 642 0 32452 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 132384

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14925
/proc/meminfo: memFree=1705912/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=133160 CPUtime=1601.79
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 6746948 0 0 0 156886 3293 0 0 25 0 1 0 12160369 136355840 30356 1992294400 134512640 137138936 4288030928 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 33290 30356 292 642 0 32646 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 133160

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14927
/proc/meminfo: memFree=1694504/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=144524 CPUtime=1661.77
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7139669 0 0 0 162683 3494 0 0 25 0 1 0 12160369 147992576 33183 1992294400 134512640 137138936 4288030928 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 36131 33183 292 642 0 35487 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 144524

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14929
/proc/meminfo: memFree=1684708/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=154372 CPUtime=1721.75
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7547967 0 0 0 168467 3708 0 0 25 0 1 0 12160369 158076928 35649 1992294400 134512640 137138936 4288030928 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 38593 35650 292 642 0 37949 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 154372

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=151980 CPUtime=1781.73
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7861526 0 0 0 174284 3889 0 0 25 0 1 0 12160369 155627520 35639 1992294400 134512640 137138936 4288030928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 37995 35639 292 642 0 37351 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 151980

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

[startup+1791.91 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=154380 CPUtime=1791.34
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7914372 0 0 0 175215 3919 0 0 25 0 1 0 12160369 158085120 35650 1992294400 134512640 137138936 4288030928 18446744073709551615 135339250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 38595 35650 292 642 0 37951 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 154380

[startup+1795.1 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=151840 CPUtime=1794.54
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7933562 0 0 0 175521 3933 0 0 25 0 1 0 12160369 155484160 35636 1992294400 134512640 137138936 4288030928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 37960 35636 292 642 0 37316 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 151840

[startup+1796.7 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=154376 CPUtime=1796.13
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7943346 0 0 0 175675 3938 0 0 25 0 1 0 12160369 158081024 35649 1992294400 134512640 137138936 4288030928 18446744073709551615 135448315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 38594 35649 292 642 0 37950 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 154376

[startup+1797.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=151840 CPUtime=1796.93
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7948160 0 0 0 175753 3940 0 0 25 0 1 0 12160369 155484160 35636 1992294400 134512640 137138936 4288030928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 37960 35636 292 642 0 37316 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 151840

[startup+1798.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=151840 CPUtime=1797.73
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7952544 0 0 0 175831 3942 0 0 25 0 1 0 12160369 155484160 35636 1992294400 134512640 137138936 4288030928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 37960 35636 292 642 0 37316 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 151840

[startup+1798.51 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 14931
/proc/meminfo: memFree=1684460/2059040 swapFree=4135584/4192956
[pid=14870] ppid=14868 vsize=154332 CPUtime=1797.94
/proc/14870/stat : 14870 (bsolo_pb10) R 14868 14870 14845 0 -1 4202496 7953659 0 0 0 175851 3943 0 0 25 0 1 0 12160369 158035968 35647 1992294400 134512640 137138936 4288030928 18446744073709551615 134730585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14870/statm: 38583 35647 292 642 0 37939 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 154332

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.02
CPU user time (s): 1758.56
CPU system time (s): 39.456
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 154496

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

runsolver used 3.00954 second user time and 8.45371 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-12 19:59:24
IDJOB=2656444
IDBENCH=1951
IDSOLVER=1162
FILE ID=node002/2656444-1276365564
PBS_JOBID= 11173225
Free space on /tmp= 62400 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656444-1276365564/watcher-2656444-1276365564 -o /tmp/evaluation-result-2656444-1276365564/solver-2656444-1276365564 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656444-1276365564.opb

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

MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4
RANDOM SEED=1709970806

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1828712 kB
Buffers:         35708 kB
Cached:         120708 kB
SwapCached:      17672 kB
Active:         110104 kB
Inactive:        65972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1828712 kB
SwapTotal:     4192956 kB
SwapFree:      4135584 kB
Dirty:            4088 kB
Writeback:           0 kB
AnonPages:       10524 kB
Mapped:           9068 kB
Slab:            32612 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62396 MiB
End job on node002 at 2010-06-12 20:29:23