Trace number 1877104

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.1SAT223 1798.02 1798.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
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 benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
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 479
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-1877104-1245138131.opb
0.00/0.00	c File size is 43630 bytes.
0.00/0.00	c Highest Coefficient sum: 479
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 479 Constr: 479 0/0/479 Lit: 4305 Watch. Lit: 1562
0.00/0.00	c Obj. Vars: 479 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c        0    479      479     4305    8     1999    8610      0      0 0.01
0.79/0.89	c Initial Lower Bound: 146
0.79/0.89	c Initial Path Cost: 0
0.79/0.89	o 233
6.69/6.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.72	c        0    479      480     4784    9     2480    9610      1      0 0.89
6.69/6.72	o 232
21.78/21.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.78/21.81	c       24    479      534    17937   33     2834    9610     55      3 6.72
21.78/21.81	c      126    479      776    80781  104     3340   10572    297      9 13.69
21.78/21.81	o 230
29.28/29.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.28/29.34	c      126    479      777    81260  104     3594    9610    298      5 21.81
29.28/29.34	o 227
191.12/191.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.12/191.25	c      126    479      778    81739  105     3877    9610    299      4 29.33
191.12/191.25	c      226    479     1048   150545  143     4420   10572    569      5 38.43
191.12/191.25	c      476    479     1723   354938  206     5759   11630   1244      9 47.95
191.12/191.25	c      951    479     2966   668739  225     8203   12794   2487     16 56.87
191.12/191.25	c     1764    479     5187  1326997  255    12681   14074   4708     26 67.79
191.12/191.25	c     3084    479     8919  2341120  262    20166   15482   8440     37 81.59
191.12/191.25	c     5165    479    14839  4074450  274    31988   17031  14360     51 100.89
191.12/191.25	c     8389    479    10821  2776823  256    23215   18735  10342     68 122.80
191.12/191.25	c    13325    479    14293  3809489  266    30201   20609  13814     83 160.10
191.12/191.25	o 226
402.96/403.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
402.96/403.10	c    17534    479    11667  2970417  254    25136    9610  11188     91 191.18
402.96/403.10	c    17635    479     5572  1259299  226    12732   10572   5093     88 199.97
402.96/403.10	c    17885    479     6201  1429339  230    13949   11630   5722     85 208.34
402.96/403.10	c    18360    479     7546  1791948  237    16655   12794   7067     84 218.26
402.96/403.10	c    19174    479     9819  2352564  239    21217   14074   9340     83 230.23
402.96/403.10	c    20494    479    13251  3227787  243    28087   15482  12772     83 244.47
402.96/403.10	c    22575    479    10550  2685368  254    22647   17031  10071     85 263.60
402.96/403.10	c    25798    479    16167  4066795  251    33894   18735  15688     89 287.34
402.96/403.10	c    30735    479     9906  2743444  276    21361   20609   9427     94 324.75
402.96/403.10	c    38243    479    18792  4893181  260    39118   22670  18313    101 378.60
402.96/403.10	o 225
451.94/452.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
451.94/452.11	c    41208    479    11815  2901228  245    25195    9610  11336    101 404.68
451.94/452.11	c    41308    479     5466  1232037  225    12466   10572   4987    100 412.60
451.94/452.11	c    41559    479     6086  1395835  229    13804   11630   5607     98 422.07
451.94/452.11	c    42035    479     7430  1750322  235    16420   12794   6951     97 431.73
451.94/452.11	c    42849    479     9486  2302503  242    20576   14074   9007     96 444.08
451.94/452.11	o 224
1288.06/1288.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1288.06/1288.51	c    42982    479     9839  2387704  242    21483    9610   9360     95 451.96
1288.06/1288.51	c    43084    479     5285  1243196  235    12156   10572   4806     93 461.33
1288.06/1288.51	c    43335    479     5978  1429180  239    13552   11630   5499     92 469.68
1288.06/1288.51	c    43810    479     7246  1758096  242    16081   12794   6767     91 478.23
1288.06/1288.51	c    44623    479     9429  2343511  248    20450   14074   8950     90 490.73
1288.06/1288.51	c    45944    479    13106  3323268  253    27806   15482  12627     90 505.43
1288.06/1288.51	c    48025    479    10556  2746372  260    22707   17031  10077     91 525.69
1288.06/1288.51	c    51248    479    10474  2729917  260    22536   18735   9995     92 552.07
1288.06/1288.51	c    56186    479    13936  3802393  272    29466   20609  13457     95 587.21
1288.06/1288.51	c    63692    479    12716  3274893  257    27034   22670  12237     99 639.16
1288.06/1288.51	c    75054    479    19263  4991172  259    40160   24938  18784    104 721.18
1288.06/1288.51	c    92198    479    24931  6656874  267    51492   27432  24452    109 842.08
1288.06/1288.51	c   118017    479    23516  5993858  254    48615   30176  23037    114 1032.33
1288.06/1288.51	o 223
1797.90/1798.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.59	c   152761    478    20708  4911354  237    43244    9610  20229    118 1288.08
1797.90/1798.59	c   152862    478     5551  1216559  219    12673   10572   5072    117 1297.15
1797.90/1798.59	c   153112    478     6226  1409761  226    14015   11630   5747    117 1306.01
1797.90/1798.59	c   153589    478     7503  1775890  236    16604   12794   7024    116 1315.51
1797.90/1798.59	c   154403    478     9646  2382971  247    20870   14074   9167    116 1328.04
1797.90/1798.59	c   155723    478    13285  3386419  254    28184   15482  12806    115 1343.26
1797.90/1798.59	c   157804    478    10486  2744796  261    22539   17031  10007    115 1363.85
1797.90/1798.59	c   161028    478    10187  2764551  271    21971   18735   9708    115 1390.48
1797.90/1798.59	c   165964    478    14142  3871838  273    29874   20609  13663    116 1425.68
1797.90/1798.59	c   173471    478    12723  3273862  257    26983   22670  12244    117 1476.54
1797.90/1798.59	c   184833    478    20033  5343768  266    41630   24938  19554    119 1551.41
1797.90/1798.59	c   201979    478    14188  3912661  275    29913   27432  13709    120 1671.09
1797.90/1798.59	c Resources Exceeded
1797.90/1798.59	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 -x474 -x475 x476 -x477 x478 -x479 
1797.90/1798.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.59	c   53   220427  52132   330202    22593  6093904  22114    122 1798.00
1797.90/1798.59	c Objective: 223
1797.90/1798.59	s SATISFIABLE
1797.90/1798.59	c Total time: 1798 s

Verifier Data 

OK	223

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877104-1245138131/watcher-1877104-1245138131 -o /tmp/evaluation-result-1877104-1245138131/solver-1877104-1245138131 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877104-1245138131.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1621396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=10756 CPUtime=0
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181410278 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 2689 227 174 640 0 2034 0

[startup+0.0828939 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1621396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=12240 CPUtime=0.07
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 615 0 0 0 7 0 0 0 18 0 1 0 181410278 12533760 582 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3060 582 284 640 0 2416 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12240

[startup+0.101896 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1621396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=12240 CPUtime=0.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 181410278 12533760 603 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3060 603 284 640 0 2416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12240

[startup+0.30193 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1621396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=12532 CPUtime=0.29
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 824 0 0 0 29 0 0 0 19 0 1 0 181410278 12832768 698 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3133 698 284 640 0 2489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12532

[startup+0.701997 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1621396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=13236 CPUtime=0.69
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 1225 0 0 0 69 0 0 0 22 0 1 0 181410278 13553664 699 1992294400 134512640 137136520 4294956256 18446744073709551615 135438625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3309 699 284 640 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13236

[startup+1.50113 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1620108/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=13368 CPUtime=1.48
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 3470 0 0 0 148 0 0 0 25 0 1 0 181410278 13688832 760 1992294400 134512640 137136520 4294956256 18446744073709551615 135435228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3342 760 289 640 0 2698 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13368

[startup+3.10141 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1619020/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=13364 CPUtime=3.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8271 0 0 0 307 2 0 0 25 0 1 0 181410278 13684736 628 1992294400 134512640 137136520 4294956256 18446744073709551615 135455242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3341 628 289 640 0 2697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13364

[startup+6.30195 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1619916/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=13032 CPUtime=6.29
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 21057 0 0 0 623 6 0 0 25 0 1 0 181410278 13344768 501 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3258 501 289 640 0 2614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13032

[startup+12.701 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1619796/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=13644 CPUtime=12.69
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 51602 0 0 0 1251 18 0 0 25 0 1 0 181410278 13971456 669 1992294400 134512640 137136520 4294956256 18446744073709551615 135461773 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3411 669 292 640 0 2767 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13644

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1618644/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=15044 CPUtime=25.48
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 109331 0 0 0 2512 36 0 0 25 0 1 0 181410278 15405056 961 1992294400 134512640 137136520 4294956256 18446744073709551615 135436501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 3761 961 296 640 0 3117 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15044

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1615188/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=17932 CPUtime=51.07
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 255564 0 0 0 5013 94 0 0 25 0 1 0 181410278 18362368 1685 1992294400 134512640 137136520 4294956256 18446744073709551615 135430351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4483 1685 296 640 0 3839 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17932

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1565972/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=67996 CPUtime=102.25
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 1043179 0 0 0 9864 361 0 0 25 0 1 0 181410278 69627904 14014 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 16999 14014 296 640 0 16355 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 67996

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1548372/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=85536 CPUtime=162.23
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 1655151 0 0 0 15607 616 0 0 25 0 1 0 181410278 87588864 18349 1992294400 134512640 137136520 4294956256 18446744073709551615 134730266 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 21384 18349 296 640 0 20740 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 85536

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1542676/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=91084 CPUtime=222.21
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 2023266 0 0 0 21439 782 0 0 25 0 1 0 181410278 93270016 19901 1992294400 134512640 137136520 4294956256 18446744073709551615 135445342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 22771 19901 296 640 0 22127 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91084

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1543316/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=89120 CPUtime=282.2
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 2286900 0 0 0 27301 919 0 0 25 0 1 0 181410278 91258880 19643 1992294400 134512640 137136520 4294956256 18446744073709551615 135410360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 22280 19643 296 640 0 21636 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 89120

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1537172/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=95688 CPUtime=342.17
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 2583174 0 0 0 33141 1076 0 0 25 0 1 0 181410278 97984512 21181 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 24025 21183 296 640 0 23381 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 95688

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1537108/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=96040 CPUtime=402.15
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 2944083 0 0 0 38955 1260 0 0 25 0 1 0 181410278 98344960 21314 1992294400 134512640 137136520 4294956256 18446744073709551615 135379322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 24080 21315 296 640 0 23436 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 96040

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1535700/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=97892 CPUtime=462.14
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 3175980 0 0 0 44846 1368 0 0 25 0 1 0 181410278 100241408 21595 1992294400 134512640 137136520 4294956256 18446744073709551615 135444687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 24473 21595 296 640 0 23829 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 97892

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1535892/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=95920 CPUtime=522.11
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 3391992 0 0 0 50730 1481 0 0 25 0 1 0 181410278 98222080 21475 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 23980 21475 296 640 0 23336 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 95920

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32072
/proc/meminfo: memFree=1535892/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=95916 CPUtime=582.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 3491364 0 0 0 56661 1548 0 0 25 0 1 0 181410278 98217984 21474 1992294400 134512640 137136520 4294956256 18446744073709551615 134847230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 23979 21474 296 640 0 23335 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 95916

[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 32074
/proc/meminfo: memFree=1535572/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=97448 CPUtime=642.08
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 3581413 0 0 0 62587 1621 0 0 25 0 1 0 181410278 99786752 21573 1992294400 134512640 137136520 4294956256 18446744073709551615 135444604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 24362 21573 296 640 0 23718 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 97448

[startup+702.301 s]

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

/proc/meminfo: memFree=1509396/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=123496 CPUtime=1121.92
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 6490565 0 0 0 109059 3133 0 0 25 0 1 0 181410278 126459904 28039 1992294400 134512640 137136520 4294956256 18446744073709551615 134728608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30874 28039 296 640 0 30230 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 123496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1509324/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=123484 CPUtime=1181.9
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 6831785 0 0 0 114865 3325 0 0 25 0 1 0 181410278 126447616 28038 1992294400 134512640 137136520 4294956256 18446744073709551615 134847439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30871 28038 296 640 0 30227 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 123484

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1507532/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=125248 CPUtime=1241.88
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7201047 0 0 0 120661 3527 0 0 25 0 1 0 181410278 128253952 28476 1992294400 134512640 137136520 4294956256 18446744073709551615 134838676 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 31312 28476 296 640 0 30668 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 125248

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1507404/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=126068 CPUtime=1301.86
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7517861 0 0 0 126478 3708 0 0 25 0 1 0 181410278 129093632 28552 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 31517 28552 296 640 0 30873 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 126068

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1507532/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=123844 CPUtime=1361.84
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7768716 0 0 0 132347 3837 0 0 25 0 1 0 181410278 126816256 28454 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30961 28454 296 640 0 30317 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 123844

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1507532/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=123676 CPUtime=1421.82
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7854994 0 0 0 138295 3887 0 0 25 0 1 0 181410278 126644224 28495 1992294400 134512640 137136520 4294956256 18446744073709551615 135781789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30919 28495 296 640 0 30275 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 123676

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508756/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=123620 CPUtime=1481.8
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7913710 0 0 0 144248 3932 0 0 25 0 1 0 181410278 126586880 28168 1992294400 134512640 137136520 4294956256 18446744073709551615 134766784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30905 28168 296 640 0 30261 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 123620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508820/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122616 CPUtime=1541.78
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 7991279 0 0 0 150178 4000 0 0 25 0 1 0 181410278 125558784 28151 1992294400 134512640 137136520 4294956256 18446744073709551615 135078607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30654 28151 296 640 0 30010 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 122616

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122312 CPUtime=1601.76
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8016108 0 0 0 156156 4020 0 0 25 0 1 0 181410278 125247488 28156 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30578 28156 296 640 0 29934 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 122312

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508948/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122492 CPUtime=1661.74
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8016111 0 0 0 162152 4022 0 0 25 0 1 0 181410278 125431808 28159 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30623 28159 296 640 0 29979 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 122492

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508948/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122488 CPUtime=1721.72
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8024146 0 0 0 168143 4029 0 0 25 0 1 0 181410278 125427712 28163 1992294400 134512640 137136520 4294956256 18446744073709551615 134845951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30622 28163 296 640 0 29978 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 122488

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=121912 CPUtime=1781.71
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8032494 0 0 0 174133 4038 0 0 25 0 1 0 181410278 124837888 28109 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30478 28109 296 640 0 29834 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 121912

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 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=121920 CPUtime=1791.3
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8058055 0 0 0 175074 4056 0 0 25 0 1 0 181410278 124846080 28109 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30480 28109 296 640 0 29836 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 121920

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122604 CPUtime=1794.5
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8067016 0 0 0 175388 4062 0 0 25 0 1 0 181410278 125546496 28112 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30651 28112 296 640 0 30007 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 122604

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=121640 CPUtime=1796.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8070974 0 0 0 175545 4064 0 0 25 0 1 0 181410278 124559360 28108 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30479 28109 296 640 0 29835 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 121640

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=121640 CPUtime=1796.9
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8072812 0 0 0 175624 4066 0 0 25 0 1 0 181410278 124559360 28108 1992294400 134512640 137136520 4294956256 18446744073709551615 134601110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30410 28108 296 640 0 29766 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 121640

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=121640 CPUtime=1797.7
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8075101 0 0 0 175703 4067 0 0 25 0 1 0 181410278 124559360 28108 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30410 28108 296 640 0 29766 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 121640

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=122608 CPUtime=1797.9
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194304 8075726 0 0 0 175723 4067 0 0 25 0 1 0 181410278 125550592 28113 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 30652 28113 296 640 0 30008 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 122608

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32080
/proc/meminfo: memFree=1508884/2055920 swapFree=4181368/4192956
[pid=32071] ppid=32069 vsize=0 CPUtime=1797.99
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31664 0 -1 4194308 8076004 0 0 0 175731 4068 0 0 25 0 1 0 181410278 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.02
CPU user time (s): 1757.32
CPU system time (s): 40.7018
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 126336

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

runsolver used 1.58476 second user time and 3.35649 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-16 09:42:11
IDJOB=1877104
IDBENCH=1956
IDSOLVER=699
FILE ID=node43/1877104-1245138131
PBS_JOBID= 9363711
Free space on /tmp= 66192 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877104-1245138131/watcher-1877104-1245138131 -o /tmp/evaluation-result-1877104-1245138131/solver-1877104-1245138131 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877104-1245138131.opb

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

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=188980798

node43.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.281
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.281
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:       1621812 kB
Buffers:         42312 kB
Cached:         325180 kB
SwapCached:       5352 kB
Active:          30960 kB
Inactive:       344408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1621812 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            3984 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            44616 kB
Committed_AS:   168824 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66188 MiB
End job on node43 at 2009-06-16 10:12:09