Trace number 309641

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, and are wall clock time (not CPU 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 NameAnswerCPU timeWall clock time
KCNFS 2004SAT 14.0479 14.055

General information on the benchmark

Namerandom/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
MD5SUM597b7f6fd53d553e7db789a34606fe09
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.033994
Satisfiable
(Un)Satisfiability was proved
Number of variables810
Number of clauses2931
Sum of the clauses size8500
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2293
Number of clauses of size 32638
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	
0.00/0.00	c Computed by /tmp/evaluation/309641-1172545046/kcnfs-2004   V. 03/02/12
0.00/0.00	c Input file : '/tmp/evaluation/309641-1172545046/instance-309641-1172545046.cnf'
14.02/14.05	c [810 variables, 2931 clauses, ratio 3.62, mean occ 5, 3-SAT]
14.02/14.05	s SATISFIABLE
14.02/14.05	v    12  -211   292   335   370
14.02/14.05	v  -412  -468   510   544   733
14.02/14.05	v  -742  -756   146   591   190
14.02/14.05	v   464  -786   554  -237  -622
14.02/14.05	v   165   500  -669   320  -148
14.02/14.05	v  -550  -150    75   368    96
14.02/14.05	v  -411   584  -366  -102  -249
14.02/14.05	v   -27   618  -365  -357  -215
14.02/14.05	v   791  -447  -745  -351  -359
14.02/14.05	v   706  -200    54   460   601
14.02/14.05	v  -172   -67   425   642   386
14.02/14.05	v   499  -243  -709  -308  -317
14.02/14.05	v  -395   -58  -276  -333  -451
14.02/14.05	v   -44  -787   129  -372   194
14.02/14.05	v  -256  -650   576  -397  -641
14.02/14.05	v   224   394  -524  -501     1
14.02/14.05	v  -717   453   803   410  -513
14.02/14.05	v   -51   383    39  -434   749
14.02/14.05	v   259   715   541   239     4
14.02/14.05	v   -66  -115  -154   779   496
14.02/14.05	v  -428  -138   744   465   -14
14.02/14.05	v  -286  -124   -77  -504  -244
14.02/14.05	v   639   462   287   208    16
14.02/14.05	v   780  -573   714   414   481
14.02/14.05	v   179   381   523   631   766
14.02/14.05	v  -184   703   743  -260   704
14.02/14.05	v  -437   725    92  -640   265
14.02/14.05	v  -511   -55   183   151    86
14.02/14.05	v   666    24   240   299   488
14.02/14.05	v  -623   -72   549    65  -232
14.02/14.05	v   203   125  -491  -692  -153
14.02/14.05	v   629   754   737  -409   303
14.02/14.05	v  -280    33   405  -452   -38
14.02/14.05	v  -605  -751   760   583  -483
14.02/14.05	v   702  -643   306  -248   571
14.02/14.05	v   216    48  -489  -423   747
14.02/14.05	v   392   684   255  -271  -218
14.02/14.05	v  -430   461   655   495  -402
14.02/14.05	v   668   731   572   685  -385
14.02/14.05	v   538   613   789   -63  -420
14.02/14.05	v   775   147   -84  -527   339
14.02/14.05	v   493  -695   180  -401  -388
14.02/14.05	v   637   567  -518  -533  -230
14.02/14.05	v   223    43  -446    10  -325
14.02/14.05	v  -790  -198  -589  -530  -374
14.02/14.05	v   638   -94  -189   797  -143
14.02/14.05	v  -300    60  -575   801   -88
14.02/14.05	v  -109  -206   487   289   475
14.02/14.05	v  -574   269  -439  -253  -361
14.02/14.05	v  -400  -284   -17   -32   546
14.02/14.05	v  -389   268  -318   492  -723
14.02/14.05	v  -726  -793  -167   648  -131
14.02/14.05	v   324   380  -795  -440    53
14.02/14.05	v   595   245  -391  -778   346
14.02/14.05	v  -160  -658   363  -340  -407
14.02/14.05	v  -477    41  -599   -79  -603
14.02/14.05	v  -199  -163   578  -463  -396
14.02/14.05	v   -37  -727  -560   193  -445
14.02/14.05	v    57  -568  -164  -765   205
14.02/14.05	v  -241  -406  -636    -2  -181
14.02/14.05	v  -106  -207   -81    18    62
14.02/14.05	v   422  -634  -415   721   -70
14.02/14.05	v  -569   677   375   612   258
14.02/14.05	v   108   -59  -272   341   322
14.02/14.05	v   456  -450  -740   503  -436
14.02/14.05	v   657  -123  -656  -404   293
14.02/14.05	v   149   309   -20   349   788
14.02/14.05	v  -796   654  -186   419   222
14.02/14.05	v  -382   157  -644   384   661
14.02/14.05	v   701   311   764   -82  -776
14.02/14.05	v    35   -87   673  -122    99
14.02/14.05	v   607   590   720  -746  -403
14.02/14.05	v   547  -697  -512  -610    -9
14.02/14.05	v   449  -417   -11  -313  -201
14.02/14.05	v   728  -621   298  -762  -376
14.02/14.05	v  -484   627  -119   646   792
14.02/14.05	v  -707    19  -785  -135  -202
14.02/14.05	v   466    68    42   348    -6
14.02/14.05	v  -418  -616  -514  -536  -128
14.02/14.05	v  -354   133  -558   545  -713
14.02/14.05	v   498  -195  -127   173   305
14.02/14.05	v   379  -509  -329  -807   681
14.02/14.05	v  -624    23  -480   226   120
14.02/14.05	v  -134   429   213  -454     8
14.02/14.05	v    30  -225  -660   585   290
14.02/14.05	v   649  -105  -142   427  -671
14.02/14.05	v  -192  -802   435   556   757
14.02/14.05	v  -264   252   247  -676   242
14.02/14.05	v  -270  -444  -467    73   107
14.02/14.05	v   209    80   664  -774  -767
14.02/14.05	v  -458   -91   769   718  -686
14.02/14.05	v  -261  -694   662   542  -295
14.02/14.05	v  -316   -47   156   476   552
14.02/14.05	v   310   515   -49   781  -360
14.02/14.05	v   532  -645  -155   -21  -619
14.02/14.05	v   736   659   117   352  -506
14.02/14.05	v   -26   111   330  -724  -347
14.02/14.05	v   577  -784   753  -478  -266
14.02/14.05	v   367   505  -700  -586   177
14.02/14.05	v   687  -141    13     5   257
14.02/14.05	v   100  -683  -161  -805   806
14.02/14.05	v   528  -121   653   302  -680
14.02/14.05	v  -162   570   710  -315   188
14.02/14.05	v    34   118   647   171   170
14.02/14.05	v   283   262   -74  -197  -678
14.02/14.05	v   373   502  -132   782   137
14.02/14.05	v   136  -274   611   378  -116
14.02/14.05	v   562   -90   377   408  -319
14.02/14.05	v  -358   614   176  -800  -356
14.02/14.05	v   537  -275    29   474   716
14.02/14.05	v  -626  -220   236  -548   219
14.02/14.05	v   632  -735   690   594  -598
14.02/14.05	v  -691  -696   140   635   -95
14.02/14.05	v   516   652  -580  -443   228
14.02/14.05	v   565   563  -263   592  -508
14.02/14.05	v   773   473   758   196  -101
14.02/14.05	v   145  -783   564  -362  -630
14.02/14.05	v  -390   617     7  -152   519
14.02/14.05	v  -770  -114  -321   808   507
14.02/14.05	v   763   235  -497   221  -112
14.02/14.05	v   -61   711  -214  -582   126
14.02/14.05	v  -438  -355   -25  -722  -520
14.02/14.05	v  -231   159   620  -254   175
14.02/14.05	v   705   551  -596  -281   291
14.02/14.05	v    22   730  -543   593  -332
14.02/14.05	v  -234  -741   238  -553   279
14.02/14.05	v   759   609  -732   331   158
14.02/14.05	v   470   472   485   282   540
14.02/14.05	v  -633   294  -602  -285   490
14.02/14.05	v   682  -399   729  -588  -442
14.02/14.05	v   273  -539   555  -712  -608
14.02/14.05	v    45  -625   328  -531  -479
14.02/14.05	v  -336  -307  -777    52   -40
14.02/14.05	v   581   534  -597   557   755
14.02/14.05	v   471  -517   675  -323   -15
14.02/14.05	v   441  -448  -455   457  -482
14.02/14.05	v   486   522  -525   535  -559
14.02/14.05	v  -561   579   587   600   604
14.02/14.05	v  -606  -615   628   651  -663
14.02/14.05	v  -665   667   679   689  -693
14.02/14.05	v   698   699  -708   719  -734
14.02/14.05	v   738   739  -748  -752   761
14.02/14.05	v  -768  -794   798   804  -810
14.02/14.05	v   191   -71    -3   -28   -31
14.02/14.05	v    36    64   -69    83   -85
14.02/14.05	v    89    97  -113  -130   139
14.02/14.05	v   144   168  -169   174   178
14.02/14.05	v   182   185   210   212   217
14.02/14.05	v   227   229   233   250   251
14.02/14.05	v   267   277   278  -288   296
14.02/14.05	v   297   301   304   312   314
14.02/14.05	v  -326  -327   334   337  -338
14.02/14.05	v   342   343  -344   345   350
14.02/14.05	v   364  -369  -371   387  -393
14.02/14.05	v   398  -413   416   421  -424
14.02/14.05	v  -426   431   432  -433  -494
14.02/14.05	v   521   529  -566  -670   672
14.02/14.05	v   674  -750   771   772   799
14.02/14.05	v   809   -46   526   -98    50
14.02/14.05	v    76   -93   103  -104   110
14.02/14.05	v   166  -187   204   246   353
14.02/14.05	v   459   469  -688     0
14.02/14.05	c Computation time    : 14.040 seconds
14.02/14.05	c Execution time      : 14.040 seconds
14.02/14.05	c Size of search tree : 15644 nodes
14.02/14.05

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node9/watcher-309641-1172545046 -o ROOT/results/node9/solver-309641-1172545046 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/309641-1172545046/kcnfs-2004 /tmp/evaluation/309641-1172545046/instance-309641-1172545046.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.01 3/77 17638
/proc/meminfo: memFree=1567824/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16120 CPUtime=0
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 119 0 0 0 0 0 0 0 18 0 1 0 274459193 16506880 99 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4030 99 38 107 0 3919 0

[startup+0.106543 s]
/proc/loadavg: 1.00 1.00 1.01 3/77 17638
/proc/meminfo: memFree=1567824/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=0.1
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 427 0 0 0 10 0 0 0 18 0 1 0 274459193 17338368 406 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134583962 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 406 59 107 0 4122 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16932

[startup+0.514623 s]
/proc/loadavg: 1.00 1.00 1.01 3/77 17638
/proc/meminfo: memFree=1567824/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=0.5
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 428 0 0 0 50 0 0 0 21 0 1 0 274459193 17338368 407 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 407 59 107 0 4122 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16932

[startup+1.33478 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566344/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=1.32
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 428 0 0 0 132 0 0 0 25 0 1 0 274459193 17338368 407 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134531854 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 407 59 107 0 4122 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 16932

[startup+2.9711 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566216/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=2.96
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 428 0 0 0 296 0 0 0 25 0 1 0 274459193 17338368 407 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 407 59 107 0 4122 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 16932

[startup+6.25173 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566152/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=6.24
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 428 0 0 0 624 0 0 0 25 0 1 0 274459193 17338368 407 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134530521 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 407 59 107 0 4122 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 16932

[startup+12.705 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=12.69
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 429 0 0 0 1269 0 0 0 25 0 1 0 274459193 17338368 408 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134531787 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 408 59 107 0 4122 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16932

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

[startup+13.1141 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=13.1
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 429 0 0 0 1310 0 0 0 25 0 1 0 274459193 17338368 408 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134529839 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 408 59 107 0 4122 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 16932

[startup+13.5241 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=13.51
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 429 0 0 0 1351 0 0 0 25 0 1 0 274459193 17338368 408 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 408 59 107 0 4122 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 16932

[startup+13.9372 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=13.92
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 429 0 0 0 1392 0 0 0 25 0 1 0 274459193 17338368 408 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134577920 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 408 59 107 0 4122 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 16932

[startup+14.0392 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17639
/proc/meminfo: memFree=1566088/2055920 swapFree=4192812/4192956
[pid=17638] ppid=17636 vsize=16932 CPUtime=14.02
/proc/17638/stat : 17638 (kcnfs-2004) R 17636 17638 17059 0 -1 0 429 0 0 0 1402 0 0 0 25 0 1 0 274459193 17338368 408 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/17638/statm: 4233 408 59 107 0 4122 0
Current children cumulated CPU time (s) 14.02
Current children cumulated vsize (KiB) 16932

Child status: 10
Real time (s): 14.055
CPU time (s): 14.0479
CPU user time (s): 14.0439
CPU system time (s): 0.003999
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 16932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.0439
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433
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= 8
involuntary context switches= 18

runsolver used 0.023996 second user time and 0.034994 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Feb 27 02:57:26 UTC 2007

IDJOB= 309641
IDBENCH= 20265
IDSOLVER= 114
FILE ID= node9/309641-1172545046

PBS_JOBID= 3971640

Free space on /tmp= 66557 MiB

SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v810/unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
COMMAND LINE= /tmp/evaluation/309641-1172545046/kcnfs-2004 /tmp/evaluation/309641-1172545046/instance-309641-1172545046.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-309641-1172545046 -o ROOT/results/node9/solver-309641-1172545046 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/309641-1172545046/kcnfs-2004 /tmp/evaluation/309641-1172545046/instance-309641-1172545046.cnf            

META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH=  597b7f6fd53d553e7db789a34606fe09

RANDOM SEED= 591577444

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

/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.263
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.263
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:       1568296 kB
Buffers:         51612 kB
Cached:         311576 kB
SwapCached:          0 kB
Active:         260772 kB
Inactive:       156916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3372 kB
Writeback:           0 kB
Mapped:          73364 kB
Slab:            55576 kB
Committed_AS:  1205008 kB
PageTables:       1688 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= 66557 MiB

End job on node9 on Tue Feb 27 02:57:40 UTC 2007