Trace number 426967

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 1.09983 1.10227

General information on the benchmark

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

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/node34/watcher-426967-1177831197 -o ROOT/results/node34/solver-426967-1177831197 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426967-1177831197/kcnfs-2004 /tmp/evaluation/426967-1177831197/instance-426967-1177831197.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: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=16116 CPUtime=0
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 117 0 0 0 0 0 0 0 18 0 1 0 231035130 16502784 98 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4030 98 38 107 0 3919 0

[startup+0.00744695 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=16244 CPUtime=0
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 149 0 0 0 0 0 0 0 18 0 1 0 231035130 16633856 130 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4062 131 38 107 0 3951 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244

[startup+0.102453 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=17352 CPUtime=0.09
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 559 0 0 0 9 0 0 0 18 0 1 0 231035130 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134583643 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17352

[startup+0.302475 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=17352 CPUtime=0.29
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 559 0 0 0 29 0 0 0 19 0 1 0 231035130 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528718 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17352

[startup+0.7015 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=17352 CPUtime=0.69
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 559 0 0 0 69 0 0 0 23 0 1 0 231035130 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577604 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17352

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

[startup+0.901517 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 25676
/proc/meminfo: memFree=1504960/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=17352 CPUtime=0.89
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 559 0 0 0 89 0 0 0 24 0 1 0 231035130 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 17352

[startup+1.00153 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 25677
/proc/meminfo: memFree=1503032/2055920 swapFree=4159684/4192956
[pid=25676] ppid=25674 vsize=17352 CPUtime=1
/proc/25676/stat : 25676 (kcnfs-2004) R 25674 25676 24636 0 -1 0 559 0 0 0 100 0 0 0 25 0 1 0 231035130 17768448 539 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577541 0 0 4096 0 0 0 0 17 1 0 0
/proc/25676/statm: 4338 539 59 107 0 4227 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 17352

Child status: 10
Real time (s): 1.10227
CPU time (s): 1.09983
CPU user time (s): 1.09583
CPU system time (s): 0.003999
CPU usage (%): 99.7791
Max. virtual memory (cumulated for all children) (KiB): 17352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.09583
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= 563
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= 5

runsolver used 0.003999 second user time and 0.011998 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sun Apr 29 07:19:57 UTC 2007

IDJOB= 426967
IDBENCH= 20283
IDSOLVER= 194
FILE ID= node34/426967-1177831197

PBS_JOBID= 4718256

Free space on /tmp= 66561 MiB

SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
COMMAND LINE= /tmp/evaluation/426967-1177831197/kcnfs-2004 /tmp/evaluation/426967-1177831197/instance-426967-1177831197.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-426967-1177831197 -o ROOT/results/node34/solver-426967-1177831197 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426967-1177831197/kcnfs-2004 /tmp/evaluation/426967-1177831197/instance-426967-1177831197.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  19bf4df3850e38181cad28d3dbbeced7

RANDOM SEED= 443230648

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1505368 kB
Buffers:         51080 kB
Cached:         401324 kB
SwapCached:       3196 kB
Active:         297624 kB
Inactive:       178976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505368 kB
SwapTotal:     4192956 kB
SwapFree:      4159684 kB
Dirty:            3236 kB
Writeback:           0 kB
Mapped:          30976 kB
Slab:            59224 kB
Committed_AS:  1687864 kB
PageTables:       1976 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= 66561 MiB

End job on node34 on Sun Apr 29 07:19:58 UTC 2007