Trace number 424347

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 4761.76 4763.13

General information on the benchmark

Namerandom/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
MD5SUM26d21a18e51a01c29ac0a04190401030
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.315951
Satisfiable
(Un)Satisfiability was proved
Number of variables990
Number of clauses3582
Sum of the clauses size10388
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2358
Number of clauses of size 33224
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.01	c Computed by /tmp/evaluation/424347-1177800481/kcnfs-2004   V. 03/02/12
0.00/0.01	c Input file : '/tmp/evaluation/424347-1177800481/instance-424347-1177800481.cnf'
4761.73/4763.12	c [990 variables, 3582 clauses, ratio 3.62, mean occ 5, 3-SAT]
4761.73/4763.12	s SATISFIABLE
4761.73/4763.12	v    44    49  -118   233   253
4761.73/4763.12	v   256  -263  -335   560  -700
4761.73/4763.12	v   708   831  -835   887  -977
4761.73/4763.12	v   289  -194  -100  -575  -627
4761.73/4763.12	v  -552  -553  -232  -288  -756
4761.73/4763.12	v  -401  -106   730  -775  -543
4761.73/4763.12	v   858   906   488   682  -751
4761.73/4763.12	v   976  -846  -645   791  -809
4761.73/4763.12	v   517  -214   -41  -680  -448
4761.73/4763.12	v   322   735  -766   602  -837
4761.73/4763.12	v   152   537  -934  -744   478
4761.73/4763.12	v  -819  -959  -369   211   548
4761.73/4763.12	v   139  -424  -527  -893   524
4761.73/4763.12	v  -387   324   500  -117   -55
4761.73/4763.12	v    68   760  -158  -871   -27
4761.73/4763.12	v   407   754  -897   304   112
4761.73/4763.12	v  -728  -312   374  -825     5
4761.73/4763.12	v  -577  -135   192  -861  -181
4761.73/4763.12	v  -391  -464   518    69   665
4761.73/4763.12	v   127  -228   721  -596   433
4761.73/4763.12	v   523  -506  -909   275  -600
4761.73/4763.12	v   836   299   436  -378  -487
4761.73/4763.12	v  -325  -536   795   601   684
4761.73/4763.12	v   636   644   843  -880  -640
4761.73/4763.12	v   752   803  -126  -277  -763
4761.73/4763.12	v  -300   743   587  -615  -217
4761.73/4763.12	v  -541  -515   972   641  -676
4761.73/4763.12	v  -624  -303   -20  -522   345
4761.73/4763.12	v   358  -958   261  -495  -773
4761.73/4763.12	v  -176  -828   110   165    54
4761.73/4763.12	v  -759   458  -888   354  -496
4761.73/4763.12	v  -722  -202  -298   780   841
4761.73/4763.12	v   353   412   292  -460  -932
4761.73/4763.12	v  -269   264  -734   -72    42
4761.73/4763.12	v   451  -626   557  -145  -268
4761.73/4763.12	v   698   230  -279   315   940
4761.73/4763.12	v  -425  -546   -66   790   291
4761.73/4763.12	v  -702   928  -169  -372  -426
4761.73/4763.12	v   -83   -76  -326  -341  -318
4761.73/4763.12	v  -678   -53  -149  -198   586
4761.73/4763.12	v   -85   953  -905  -224  -746
4761.73/4763.12	v  -748   238   936  -417   376
4761.73/4763.12	v   914  -610  -605   449  -694
4761.73/4763.12	v   653    97    73  -331   222
4761.73/4763.12	v   737  -382   444   474   949
4761.73/4763.12	v  -361  -987   296   113    12
4761.73/4763.12	v    -6    84   171   582   388
4761.73/4763.12	v  -297  -150   688   -17  -673
4761.73/4763.12	v  -960  -937   649  -248  -866
4761.73/4763.12	v  -231  -244   589  -280    47
4761.73/4763.12	v   733  -982   591   123   516
4761.73/4763.12	v   310   659  -950   892  -903
4761.73/4763.12	v   765   336  -613   215  -342
4761.73/4763.12	v  -447   707  -254    92   703
4761.73/4763.12	v  -764   788   367   555    35
4761.73/4763.12	v  -344   328   427   975   136
4761.73/4763.12	v   452  -974  -989   241  -286
4761.73/4763.12	v  -330  -352  -400   239  -502
4761.73/4763.12	v   833   868  -712  -945   199
4761.73/4763.12	v  -390  -921  -108  -219   924
4761.73/4763.12	v   187  -363  -105  -726  -227
4761.73/4763.12	v  -178    61  -853   205  -371
4761.73/4763.12	v  -805   122   247  -432  -265
4761.73/4763.12	v  -777   281   946  -873   -80
4761.73/4763.12	v   362  -761   365  -952  -446
4761.73/4763.12	v  -592  -710   595   619   647
4761.73/4763.12	v   674  -899   243   550   693
4761.73/4763.12	v   697    28   718  -188  -622
4761.73/4763.12	v  -116  -740    38  -772   920
4761.73/4763.12	v  -431  -818  -826     9  -830
4761.73/4763.12	v   140  -838   614   917  -494
4761.73/4763.12	v  -616  -931  -941   695  -373
4761.73/4763.12	v  -902  -750   922   -10   770
4761.73/4763.12	v    33   -51  -107   867  -714
4761.73/4763.12	v   295    30   774  -881   971
4761.73/4763.12	v   705   961   397  -848  -965
4761.73/4763.12	v  -103   377  -210  -317    26
4761.73/4763.12	v   -74    93   512  -990   634
4761.73/4763.12	v  -554  -978   457  -742  -908
4761.73/4763.12	v  -607   731   701   347   806
4761.73/4763.12	v   878  -477   829   456   534
4761.73/4763.12	v   -64  -573   273   617  -709
4761.73/4763.12	v  -545  -285   130  -439  -471
4761.73/4763.12	v  -918   870  -986  -356  -801
4761.73/4763.12	v  -943  -399   855  -133   -43
4761.73/4763.12	v  -984   313   979  -578  -784
4761.73/4763.12	v   749  -633   513   393    36
4761.73/4763.12	v   440   405   672   321   -25
4761.73/4763.12	v  -901  -234   739   138   274
4761.73/4763.12	v   -77  -104  -453  -319  -154
4761.73/4763.12	v  -156   255   551  -865   854
4761.73/4763.12	v  -660  -124   -57  -186   956
4761.73/4763.12	v   283   781   351  -454  -738
4761.73/4763.12	v  -789  -221   509  -167  -566
4761.73/4763.12	v    82   719  -927  -468   411
4761.73/4763.12	v  -146  -983  -392   547   -15
4761.73/4763.12	v  -625   755  -204   778   466
4761.73/4763.12	v   -32  -327  -814   129   484
4761.73/4763.12	v   916  -307  -973   486   193
4761.73/4763.12	v  -132   864  -968  -538   -91
4761.73/4763.12	v   585  -160   821   375   -11
4761.73/4763.12	v  -663  -531   785   786  -173
4761.73/4763.12	v   632  -168   -79  -720    95
4761.73/4763.12	v  -462  -618   650   428    81
4761.73/4763.12	v   919    -7   969   483   847
4761.73/4763.12	v  -185  -648   807  -332  -542
4761.73/4763.12	v  -435   177  -588  -420   603
4761.73/4763.12	v   -62  -882   -90   767   226
4761.73/4763.12	v  -337  -114   -67  -535  -776
4761.73/4763.12	v  -189  -109  -410  -533  -380
4761.73/4763.12	v  -820  -370   282   259   490
4761.73/4763.12	v   459    16   962   441  -528
4761.73/4763.12	v   611  -148  -581   368   -21
4761.73/4763.12	v   276   402   885   343   258
4761.73/4763.12	v   662   590  -571  -741  -891
4761.73/4763.12	v   628  -706  -753  -333  -580
4761.73/4763.12	v   203  -889   544  -620  -250
4761.73/4763.12	v  -398   316  -120  -240  -886
4761.73/4763.12	v  -802   666   271   469  -284
4761.73/4763.12	v   162   844   687  -443   913
4761.73/4763.12	v   568  -476  -832  -346  -810
4761.73/4763.12	v   849   804  -966   182   423
4761.73/4763.12	v  -360  -664  -890  -379   260
4761.73/4763.12	v  -511   -24  -137   -65  -583
4761.73/4763.12	v   654  -507   879   637  -245
4761.73/4763.12	v   638   242  -151   793  -872
4761.73/4763.12	v   155   823  -101   190  -907
4761.73/4763.12	v    99  -732   505   415   501
4761.73/4763.12	v    98  -394  -800  -201   386
4761.73/4763.12	v   556  -898  -381  -329   845
4761.73/4763.12	v   796   -70  -461   175  -629
4761.73/4763.12	v   685     3   883  -164   725
4761.73/4763.12	v  -604   915   216  -153   863
4761.73/4763.12	v   558  -272  -294   839  -758
4761.73/4763.12	v   923   658    59   729   699
4761.73/4763.12	v   206  -266   314   646  -301
4761.73/4763.12	v  -988   503     8    -2   102
4761.73/4763.12	v  -306  -736   125   504  -438
4761.73/4763.12	v   195  -970   655  -144   579
4761.73/4763.12	v   159  -128   493   667   813
4761.73/4763.12	v   179    37   762   134   656
4761.73/4763.12	v  -745  -549   174  -442   257
4761.73/4763.12	v  -912   -78  -661  -862  -639
4761.73/4763.12	v  -896   207  -816   498  -643
4761.73/4763.12	v  -532  -723   422  -209   359
4761.73/4763.12	v  -933   348   675   311   715
4761.73/4763.12	v  -824   -14  -967  -213  -842
4761.73/4763.12	v   985  -670   200  -608   338
4761.73/4763.12	v  -559   930  -334  -815  -223
4761.73/4763.12	v   926  -191  -574   252  -651
4761.73/4763.12	v  -690  -119   166   -48  -473
4761.73/4763.12	v   876     4  -857   686   236
4761.73/4763.12	v   724   520   691   652  -935
4761.73/4763.12	v  -419   783   -86  -771  -225
4761.73/4763.12	v   877   609  -631  -481  -757
4761.73/4763.12	v  -635  -689  -508   404  -196
4761.73/4763.13	v   768  -197  -716   -23   717
4761.73/4763.13	v  -308   981   657   350  -895
4761.73/4763.13	v  -938   251  -808   -87  -822
4761.73/4763.13	v   249  -787  -564   246  -799
4761.73/4763.13	v  -779   852  -305  -711  -727
4761.73/4763.13	v   910   349  -141   499   339
4761.73/4763.13	v  -302   115   489   430   851
4761.73/4763.13	v   563  -954  -472   794  -797
4761.73/4763.13	v  -840  -529   948   519   679
4761.73/4763.13	v   482   593   856   911   955
4761.73/4763.13	v  -172   147   692  -389   357
4761.73/4763.13	v  -445  -951  -570  -584   929
4761.73/4763.13	v  -416  -414   450  -561   980
4761.73/4763.13	v  -939  -510  -421  -437   -75
4761.73/4763.13	v   212  -859    58  -817  -562
4761.73/4763.13	v  -782  -409  -597  -235  -320
4761.73/4763.13	v  -530   111   131   143   157
4761.73/4763.13	v  -161   163   180   183   218
4761.73/4763.13	v  -220  -229  -270   278   287
4761.73/4763.13	v   293   323  -340   355   383
4761.73/4763.13	v   384   385   403   408   413
4761.73/4763.13	v   429   434   455  -463  -465
4761.73/4763.13	v  -475   479  -480  -492   514
4761.73/4763.13	v  -521   526  -539  -540   565
4761.73/4763.13	v   569   572  -594   598   599
4761.73/4763.13	v   612  -621   623  -630  -642
4761.73/4763.13	v  -668   671   677   683   696
4761.73/4763.13	v   704   713  -747   811   812
4761.73/4763.13	v   834  -850   860   874   875
4761.73/4763.13	v   884   894   900   925   944
4761.73/4763.13	v   947   957   963   964    34
4761.73/4763.13	v   827   -88  -184   -94     1
4761.73/4763.13	v    13    18    22    29   -31
4761.73/4763.13	v    39    40   -45    46    50
4761.73/4763.13	v    52   -56    60    63    71
4761.73/4763.13	v    89    96  -121  -142  -208
4761.73/4763.13	v   237   262   267   290   309
4761.73/4763.13	v  -364   366   395  -406   418
4761.73/4763.13	v   467   470   485   491   497
4761.73/4763.13	v   525   567   576   606   669
4761.73/4763.13	v  -681   769   792   798  -869
4761.73/4763.13	v   904   942     0
4761.73/4763.13	c Computation time    : 4762.450 seconds
4761.73/4763.13	c Execution time      : 4762.450 seconds
4761.73/4763.13	c Size of search tree : 4347888 nodes
4761.73/4763.13

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-424347-1177800481 -o ROOT/results/node55/solver-424347-1177800481 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424347-1177800481/kcnfs-2004 /tmp/evaluation/424347-1177800481/instance-424347-1177800481.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.00 3/64 2805
/proc/meminfo: memFree=1386932/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=16112 CPUtime=0
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 116 0 0 0 0 0 0 0 18 0 1 0 227958145 16498688 97 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4028 97 38 107 0 3917 0

[startup+0.100759 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2805
/proc/meminfo: memFree=1386932/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=0.09
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 9 0 0 0 18 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134541511 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17144

[startup+0.201768 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2805
/proc/meminfo: memFree=1386932/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=0.19
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 19 0 0 0 18 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530072 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17144

[startup+0.301778 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2805
/proc/meminfo: memFree=1386932/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=0.29
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 29 0 0 0 19 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529839 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17144

[startup+0.701815 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2805
/proc/meminfo: memFree=1386932/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=0.69
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 69 0 0 0 22 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529403 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17144

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1385196/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=1.49
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 149 0 0 0 25 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528631 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17144

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1385068/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=3.09
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 494 0 0 0 309 0 0 0 25 0 1 0 227958145 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578130 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17144

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384940/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=6.29
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 495 0 0 0 629 0 0 0 25 0 1 0 227958145 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578130 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17144

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=12.69
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 495 0 0 0 1269 0 0 0 25 0 1 0 227958145 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528376 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17144

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=25.48
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 495 0 0 0 2548 0 0 0 25 0 1 0 227958145 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531372 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17144

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=51.08
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 5108 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577857 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17144

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=102.27
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 10227 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533041 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17144

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=162.25
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 16225 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577717 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17144

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384884/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=222.24
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 22224 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528132 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17144

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=282.22
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 28222 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134565794 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 17144

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=342.2
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 34220 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528942 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 17144

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=402.19
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 40219 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528147 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 17144

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=462.17
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 46217 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134536873 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 17144

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1384948/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=522.16
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 52216 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528623 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 17144

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1385012/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=582.14
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 58214 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531143 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 17144

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2806
/proc/meminfo: memFree=1385012/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=642.13
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 64213 0 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528139 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 17144

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

/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4181.17
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 418116 1 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530374 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4181.17
Current children cumulated vsize (KiB) 17144

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3006
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4241.15
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 424114 1 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4241.15
Current children cumulated vsize (KiB) 17144

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3006
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4301.13
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 430112 1 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528132 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4301.13
Current children cumulated vsize (KiB) 17144

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3006
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4361.12
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 436111 1 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528139 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4361.12
Current children cumulated vsize (KiB) 17144

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 3176
/proc/meminfo: memFree=1383540/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4421.03
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 442101 2 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530359 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4421.03
Current children cumulated vsize (KiB) 17144

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384564/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4481
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 448097 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529403 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4481
Current children cumulated vsize (KiB) 17144

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384692/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4540.98
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 454095 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531233 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4540.98
Current children cumulated vsize (KiB) 17144

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4600.96
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 460093 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530315 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4600.96
Current children cumulated vsize (KiB) 17144

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4660.95
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 466092 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530287 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4660.95
Current children cumulated vsize (KiB) 17144

[startup+4722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384820/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4720.94
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 472091 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528738 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4720.94
Current children cumulated vsize (KiB) 17144

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

[startup+4736 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4734.63
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 473460 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528359 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4734.63
Current children cumulated vsize (KiB) 17144

[startup+4748.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4747.43
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 474740 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528139 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4747.43
Current children cumulated vsize (KiB) 17144

[startup+4755.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4753.83
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 475380 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577900 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4753.83
Current children cumulated vsize (KiB) 17144

[startup+4758.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4757.02
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 475699 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528160 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4757.02
Current children cumulated vsize (KiB) 17144

[startup+4761.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4760.22
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 476019 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529183 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4760.22
Current children cumulated vsize (KiB) 17144

[startup+4762.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4761.02
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 476099 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529856 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4761.02
Current children cumulated vsize (KiB) 17144

[startup+4762.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4761.42
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 476139 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528274 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4761.42
Current children cumulated vsize (KiB) 17144

[startup+4763 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4761.63
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 476160 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530800 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4761.63
Current children cumulated vsize (KiB) 17144

[startup+4763.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3204
/proc/meminfo: memFree=1384756/2055920 swapFree=4184544/4192956
[pid=2805] ppid=2803 vsize=17144 CPUtime=4761.73
/proc/2805/stat : 2805 (kcnfs-2004) R 2803 2805 2275 0 -1 0 496 0 0 0 476170 3 0 0 25 0 1 0 227958145 17555456 476 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577717 0 0 4096 0 0 0 0 17 1 0 0
/proc/2805/statm: 4286 476 59 107 0 4175 0
Current children cumulated CPU time (s) 4761.73
Current children cumulated vsize (KiB) 17144

Child status: 10
Real time (s): 4763.13
CPU time (s): 4761.76
CPU user time (s): 4761.73
CPU system time (s): 0.035994
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 17144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4761.73
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504
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= 6
involuntary context switches= 4690

runsolver used 3.77543 second user time and 9.32458 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Apr 28 22:48:01 UTC 2007

IDJOB= 424347
IDBENCH= 20261
IDSOLVER= 194
FILE ID= node55/424347-1177800481

PBS_JOBID= 4715800

Free space on /tmp= 66492 MiB

SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
COMMAND LINE= /tmp/evaluation/424347-1177800481/kcnfs-2004 /tmp/evaluation/424347-1177800481/instance-424347-1177800481.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-424347-1177800481 -o ROOT/results/node55/solver-424347-1177800481 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424347-1177800481/kcnfs-2004 /tmp/evaluation/424347-1177800481/instance-424347-1177800481.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  26d21a18e51a01c29ac0a04190401030

RANDOM SEED= 924271978

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1387340 kB
Buffers:         58752 kB
Cached:         523628 kB
SwapCached:       2556 kB
Active:         278836 kB
Inactive:       313516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1387340 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            3196 kB
Writeback:           0 kB
Mapped:          16328 kB
Slab:            62248 kB
Committed_AS:  1371436 kB
PageTables:       1380 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= 66492 MiB

End job on node55 on Sun Apr 29 00:07:24 UTC 2007