Index of /misc-live/20110225/solutions/paranoid/uns-paranoid-0.0004/


../
1.cudf.caixa.error                                 09-Mar-2011 15:53                 299
1.cudf.caixa.log                                   09-Mar-2011 15:53                 256
1.cudf.caixa.log.runsolver                         09-Mar-2011 15:53                6887
1.cudf.caixa.log.time                              09-Mar-2011 15:53                 206
1.cudf.caixa.result.bz2                            09-Mar-2011 15:53                  65
1016.cudf.caixa.error                              09-Mar-2011 15:53                 285
1016.cudf.caixa.log                                09-Mar-2011 15:53                 242
1016.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6683
1016.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1016.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1018.cudf.caixa.error                              09-Mar-2011 15:53                 285
1018.cudf.caixa.log                                09-Mar-2011 15:53                 242
1018.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
1018.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1018.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1021.cudf.caixa.error                              09-Mar-2011 15:53                 289
1021.cudf.caixa.log                                09-Mar-2011 15:53                 246
1021.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6779
1021.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1021.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
103.cudf.caixa.error                               09-Mar-2011 15:53                 300
103.cudf.caixa.log                                 09-Mar-2011 15:53                 257
103.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6809
103.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
103.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1034.cudf.caixa.error                              09-Mar-2011 15:53                 292
1034.cudf.caixa.log                                09-Mar-2011 15:53                 249
1034.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1034.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1034.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1037.cudf.caixa.error                              09-Mar-2011 15:53                 243
1037.cudf.caixa.log                                09-Mar-2011 15:53                 200
1037.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1037.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1037.cudf.caixa.result.bz2                         09-Mar-2011 15:53               10346
1041.cudf.caixa.error                              09-Mar-2011 15:53                 300
1041.cudf.caixa.log                                09-Mar-2011 15:53                 257
1041.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6898
1041.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1041.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1047.cudf.caixa.error                              09-Mar-2011 15:53                 300
1047.cudf.caixa.log                                09-Mar-2011 15:53                 257
1047.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7767
1047.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1047.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1066.cudf.caixa.error                              09-Mar-2011 15:53                 300
1066.cudf.caixa.log                                09-Mar-2011 15:53                 257
1066.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7774
1066.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1066.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1067.cudf.caixa.error                              09-Mar-2011 15:53                 300
1067.cudf.caixa.log                                09-Mar-2011 15:53                 257
1067.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
1067.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1067.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1068.cudf.caixa.error                              09-Mar-2011 15:53                 300
1068.cudf.caixa.log                                09-Mar-2011 15:53                 257
1068.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1068.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1068.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1075.cudf.caixa.error                              09-Mar-2011 15:53                 291
1075.cudf.caixa.log                                09-Mar-2011 15:53                 248
1075.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6870
1075.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1075.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1077.cudf.caixa.error                              09-Mar-2011 15:53                 291
1077.cudf.caixa.log                                09-Mar-2011 15:53                 248
1077.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6798
1077.cudf.caixa.log.time                           09-Mar-2011 15:53                 199
1077.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1078.cudf.caixa.error                              09-Mar-2011 15:53                 236
1078.cudf.caixa.log                                09-Mar-2011 15:53                 193
1078.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
1078.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1078.cudf.caixa.result.bz2                         09-Mar-2011 15:53                2505
1082.cudf.caixa.error                              09-Mar-2011 15:53                 285
1082.cudf.caixa.log                                09-Mar-2011 15:53                 242
1082.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                4841
1082.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1082.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1084.cudf.caixa.error                              09-Mar-2011 15:53                 289
1084.cudf.caixa.log                                09-Mar-2011 15:53                 246
1084.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6803
1084.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1084.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1092.cudf.caixa.error                              09-Mar-2011 15:53                 289
1092.cudf.caixa.log                                09-Mar-2011 15:53                 246
1092.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1092.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1092.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1093.cudf.caixa.error                              09-Mar-2011 15:53                 291
1093.cudf.caixa.log                                09-Mar-2011 15:53                 248
1093.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6032
1093.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1093.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1094.cudf.caixa.error                              09-Mar-2011 15:53                 244
1094.cudf.caixa.log                                09-Mar-2011 15:53                 201
1094.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6892
1094.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1094.cudf.caixa.result.bz2                         09-Mar-2011 15:53                8784
1095.cudf.caixa.error                              09-Mar-2011 15:53                 289
1095.cudf.caixa.log                                09-Mar-2011 15:53                 246
1095.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6900
1095.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1095.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1096.cudf.caixa.error                              09-Mar-2011 15:53                 285
1096.cudf.caixa.log                                09-Mar-2011 15:53                 242
1096.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6870
1096.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1096.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1097.cudf.caixa.error                              09-Mar-2011 15:53                 244
1097.cudf.caixa.log                                09-Mar-2011 15:53                 201
1097.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1097.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1097.cudf.caixa.result.bz2                         09-Mar-2011 15:53                8750
1098.cudf.caixa.error                              09-Mar-2011 15:53                 244
1098.cudf.caixa.log                                09-Mar-2011 15:53                 201
1098.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6914
1098.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1098.cudf.caixa.result.bz2                         09-Mar-2011 15:53               16934
1108.cudf.caixa.error                              09-Mar-2011 15:53                 300
1108.cudf.caixa.log                                09-Mar-2011 15:53                 257
1108.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6777
1108.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1108.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1109.cudf.caixa.error                              09-Mar-2011 15:53                 300
1109.cudf.caixa.log                                09-Mar-2011 15:53                 257
1109.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6806
1109.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1109.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1124.cudf.caixa.error                              09-Mar-2011 15:53                 289
1124.cudf.caixa.log                                09-Mar-2011 15:53                 246
1124.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6811
1124.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1124.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1125.cudf.caixa.error                              09-Mar-2011 15:53                 289
1125.cudf.caixa.log                                09-Mar-2011 15:53                 246
1125.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
1125.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1125.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1126.cudf.caixa.error                              09-Mar-2011 15:53                 289
1126.cudf.caixa.log                                09-Mar-2011 15:53                 246
1126.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6901
1126.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1126.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1128.cudf.caixa.error                              09-Mar-2011 15:53                 300
1128.cudf.caixa.log                                09-Mar-2011 15:53                 257
1128.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6867
1128.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1128.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1131.cudf.caixa.error                              09-Mar-2011 15:53                 300
1131.cudf.caixa.log                                09-Mar-2011 15:53                 257
1131.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7743
1131.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1131.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1143.cudf.caixa.error                              09-Mar-2011 15:53                 300
1143.cudf.caixa.log                                09-Mar-2011 15:53                 257
1143.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1143.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1143.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1144.cudf.caixa.error                              09-Mar-2011 15:53                 300
1144.cudf.caixa.log                                09-Mar-2011 15:53                 257
1144.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6818
1144.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1144.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1152.cudf.caixa.error                              09-Mar-2011 15:53                 300
1152.cudf.caixa.log                                09-Mar-2011 15:53                 257
1152.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6869
1152.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1152.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1164.cudf.caixa.error                              09-Mar-2011 15:53                 252
1164.cudf.caixa.log                                09-Mar-2011 15:53                 209
1164.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7684
1164.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1164.cudf.caixa.result.bz2                         09-Mar-2011 15:53              110429
1194.cudf.caixa.error                              09-Mar-2011 15:53                 299
1194.cudf.caixa.log                                09-Mar-2011 15:53                 256
1194.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6898
1194.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1194.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
120.cudf.caixa.error                               09-Mar-2011 15:53                 300
120.cudf.caixa.log                                 09-Mar-2011 15:53                 257
120.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7647
120.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
120.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
121.cudf.caixa.error                               09-Mar-2011 15:53                 296
121.cudf.caixa.log                                 09-Mar-2011 15:53                 253
121.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
121.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
121.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
122.cudf.caixa.error                               09-Mar-2011 15:53                 296
122.cudf.caixa.log                                 09-Mar-2011 15:53                 253
122.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6863
122.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
122.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1231.cudf.caixa.error                              09-Mar-2011 15:53                 300
1231.cudf.caixa.log                                09-Mar-2011 15:53                 257
1231.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
1231.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1231.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1238.cudf.caixa.error                              09-Mar-2011 15:53                 299
1238.cudf.caixa.log                                09-Mar-2011 15:53                 256
1238.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6869
1238.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1238.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1239.cudf.caixa.error                              09-Mar-2011 15:53                 299
1239.cudf.caixa.log                                09-Mar-2011 15:53                 256
1239.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1239.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1239.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1243.cudf.caixa.error                              09-Mar-2011 15:53                 299
1243.cudf.caixa.log                                09-Mar-2011 15:53                 256
1243.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6874
1243.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1243.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1262.cudf.caixa.error                              09-Mar-2011 15:53                 300
1262.cudf.caixa.log                                09-Mar-2011 15:53                 257
1262.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
1262.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1262.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1265.cudf.caixa.error                              09-Mar-2011 15:53                 299
1265.cudf.caixa.log                                09-Mar-2011 15:53                 256
1265.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6873
1265.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1265.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1300.cudf.caixa.error                              09-Mar-2011 15:53                 299
1300.cudf.caixa.log                                09-Mar-2011 15:53                 256
1300.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6872
1300.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1300.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
131.cudf.caixa.error                               09-Mar-2011 15:53                 300
131.cudf.caixa.log                                 09-Mar-2011 15:53                 257
131.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
131.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
131.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
132.cudf.caixa.error                               09-Mar-2011 15:53                 252
132.cudf.caixa.log                                 09-Mar-2011 15:53                 209
132.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7724
132.cudf.caixa.log.time                            09-Mar-2011 15:53                 201
132.cudf.caixa.result.bz2                          09-Mar-2011 15:53               96001
1335.cudf.caixa.error                              09-Mar-2011 15:53                 299
1335.cudf.caixa.log                                09-Mar-2011 15:53                 256
1335.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1335.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1335.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1336.cudf.caixa.error                              09-Mar-2011 15:53                 299
1336.cudf.caixa.log                                09-Mar-2011 15:53                 256
1336.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6904
1336.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1336.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1337.cudf.caixa.error                              09-Mar-2011 15:53                 299
1337.cudf.caixa.log                                09-Mar-2011 15:53                 256
1337.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6895
1337.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1337.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1362.cudf.caixa.error                              09-Mar-2011 15:53                 300
1362.cudf.caixa.log                                09-Mar-2011 15:53                 257
1362.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6902
1362.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1362.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1365.cudf.caixa.error                              09-Mar-2011 15:53                 251
1365.cudf.caixa.log                                09-Mar-2011 15:53                 208
1365.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8601
1365.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1365.cudf.caixa.result.bz2                         09-Mar-2011 15:53              110198
1366.cudf.caixa.error                              09-Mar-2011 15:53                 300
1366.cudf.caixa.log                                09-Mar-2011 15:53                 257
1366.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7768
1366.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1366.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1369.cudf.caixa.error                              09-Mar-2011 15:53                 300
1369.cudf.caixa.log                                09-Mar-2011 15:53                 257
1369.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6875
1369.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1369.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1378.cudf.caixa.error                              09-Mar-2011 15:53                 251
1378.cudf.caixa.log                                09-Mar-2011 15:53                 208
1378.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7762
1378.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
1378.cudf.caixa.result.bz2                         09-Mar-2011 15:53              109785
140.cudf.caixa.error                               09-Mar-2011 15:53                 299
140.cudf.caixa.log                                 09-Mar-2011 15:53                 256
140.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6868
140.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
140.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1468.cudf.caixa.error                              09-Mar-2011 15:53                 251
1468.cudf.caixa.log                                09-Mar-2011 15:53                 208
1468.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7763
1468.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
1468.cudf.caixa.result.bz2                         09-Mar-2011 15:53              109555
1481.cudf.caixa.error                              09-Mar-2011 15:53                 295
1481.cudf.caixa.log                                09-Mar-2011 15:53                 252
1481.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6881
1481.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1481.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
150.cudf.caixa.error                               09-Mar-2011 15:53                 300
150.cudf.caixa.log                                 09-Mar-2011 15:53                 257
150.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6900
150.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
150.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1596.cudf.caixa.error                              09-Mar-2011 15:53                 299
1596.cudf.caixa.log                                09-Mar-2011 15:53                 256
1596.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6032
1596.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1596.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1602.cudf.caixa.error                              09-Mar-2011 15:53                 300
1602.cudf.caixa.log                                09-Mar-2011 15:53                 257
1602.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7649
1602.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1602.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1617.cudf.caixa.error                              09-Mar-2011 15:53                 300
1617.cudf.caixa.log                                09-Mar-2011 15:53                 257
1617.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7733
1617.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1617.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1627.cudf.caixa.error                              09-Mar-2011 15:53                 297
1627.cudf.caixa.log                                09-Mar-2011 15:53                 254
1627.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1627.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1627.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1641.cudf.caixa.error                              09-Mar-2011 15:53                 300
1641.cudf.caixa.log                                09-Mar-2011 15:53                 257
1641.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7768
1641.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1641.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1647.cudf.caixa.error                              09-Mar-2011 15:53                 253
1647.cudf.caixa.log                                09-Mar-2011 15:53                 210
1647.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9424
1647.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1647.cudf.caixa.result.bz2                         09-Mar-2011 15:53              114120
1651.cudf.caixa.error                              09-Mar-2011 15:53                 291
1651.cudf.caixa.log                                09-Mar-2011 15:53                 248
1651.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6777
1651.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1651.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1654.cudf.caixa.error                              09-Mar-2011 15:53                 243
1654.cudf.caixa.log                                09-Mar-2011 15:53                 200
1654.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
1654.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1654.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7269
1655.cudf.caixa.error                              09-Mar-2011 15:53                 285
1655.cudf.caixa.log                                09-Mar-2011 15:53                 242
1655.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6809
1655.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1655.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1657.cudf.caixa.error                              09-Mar-2011 15:53                 289
1657.cudf.caixa.log                                09-Mar-2011 15:53                 246
1657.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6788
1657.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1657.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
167.cudf.caixa.error                               09-Mar-2011 15:53                 299
167.cudf.caixa.log                                 09-Mar-2011 15:53                 256
167.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6869
167.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
167.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1670.cudf.caixa.error                              09-Mar-2011 15:53                 253
1670.cudf.caixa.log                                09-Mar-2011 15:53                 210
1670.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9500
1670.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
1670.cudf.caixa.result.bz2                         09-Mar-2011 15:53              113253
168.cudf.caixa.error                               09-Mar-2011 15:53                 299
168.cudf.caixa.log                                 09-Mar-2011 15:53                 256
168.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6901
168.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
168.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1682.cudf.caixa.error                              09-Mar-2011 15:53                 253
1682.cudf.caixa.log                                09-Mar-2011 15:53                 210
1682.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7730
1682.cudf.caixa.log.time                           09-Mar-2011 15:53                 200
1682.cudf.caixa.result.bz2                         09-Mar-2011 15:53              114740
1687.cudf.caixa.error                              09-Mar-2011 15:53                 243
1687.cudf.caixa.log                                09-Mar-2011 15:53                 200
1687.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1687.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1687.cudf.caixa.result.bz2                         09-Mar-2011 15:53                6937
169.cudf.caixa.error                               09-Mar-2011 15:53                 299
169.cudf.caixa.log                                 09-Mar-2011 15:53                 256
169.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6899
169.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
169.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1691.cudf.caixa.error                              09-Mar-2011 15:53                 285
1691.cudf.caixa.log                                09-Mar-2011 15:53                 242
1691.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6863
1691.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1691.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
170.cudf.caixa.error                               09-Mar-2011 15:53                 299
170.cudf.caixa.log                                 09-Mar-2011 15:53                 256
170.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6894
170.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
170.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1717.cudf.caixa.error                              09-Mar-2011 15:53                 285
1717.cudf.caixa.log                                09-Mar-2011 15:53                 242
1717.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
1717.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1717.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1719.cudf.caixa.error                              09-Mar-2011 15:53                 285
1719.cudf.caixa.log                                09-Mar-2011 15:53                 242
1719.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6813
1719.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1719.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1720.cudf.caixa.error                              09-Mar-2011 15:53                 244
1720.cudf.caixa.log                                09-Mar-2011 15:53                 201
1720.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6873
1720.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1720.cudf.caixa.result.bz2                         09-Mar-2011 15:53               10731
1722.cudf.caixa.error                              09-Mar-2011 15:53                 285
1722.cudf.caixa.log                                09-Mar-2011 15:53                 242
1722.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
1722.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1722.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1723.cudf.caixa.error                              09-Mar-2011 15:53                 291
1723.cudf.caixa.log                                09-Mar-2011 15:53                 248
1723.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6899
1723.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1723.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
173.cudf.caixa.error                               09-Mar-2011 15:53                 299
173.cudf.caixa.log                                 09-Mar-2011 15:53                 256
173.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
173.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
173.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
174.cudf.caixa.error                               09-Mar-2011 15:53                 299
174.cudf.caixa.log                                 09-Mar-2011 15:53                 256
174.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6864
174.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
174.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
176.cudf.caixa.error                               09-Mar-2011 15:53                 299
176.cudf.caixa.log                                 09-Mar-2011 15:53                 256
176.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6867
176.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
176.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
178.cudf.caixa.error                               09-Mar-2011 15:53                 299
178.cudf.caixa.log                                 09-Mar-2011 15:53                 256
178.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6900
178.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
178.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
19.cudf.caixa.error                                09-Mar-2011 15:53                 252
19.cudf.caixa.log                                  09-Mar-2011 15:53                 209
19.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                7752
19.cudf.caixa.log.time                             09-Mar-2011 15:53                 203
19.cudf.caixa.result.bz2                           09-Mar-2011 15:53               94936
195.cudf.caixa.error                               09-Mar-2011 15:53                 300
195.cudf.caixa.log                                 09-Mar-2011 15:53                 257
195.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6864
195.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
195.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 252
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 209
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12232
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              134508
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 253
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 210
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               15511
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              129141
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 256
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 213
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               14639
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128356
23.cudf.caixa.error                                09-Mar-2011 15:53                 300
23.cudf.caixa.log                                  09-Mar-2011 15:53                 257
23.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6893
23.cudf.caixa.log.time                             09-Mar-2011 15:53                 204
23.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
25.cudf.caixa.error                                09-Mar-2011 15:53                 299
25.cudf.caixa.log                                  09-Mar-2011 15:53                 256
25.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6860
25.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
25.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12881
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              133615
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13007
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              130808
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 256
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 213
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               14883
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128122
30.cudf.caixa.error                                09-Mar-2011 15:53                 299
30.cudf.caixa.log                                  09-Mar-2011 15:53                 256
30.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6862
30.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
30.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
33.cudf.caixa.error                                09-Mar-2011 15:53                 299
33.cudf.caixa.log                                  09-Mar-2011 15:53                 256
33.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6547
33.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
33.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3343.cudf.caixa.error                              09-Mar-2011 15:53                 299
3343.cudf.caixa.log                                09-Mar-2011 15:53                 256
3343.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6680
3343.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3343.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3362.cudf.caixa.error                              09-Mar-2011 15:53                 300
3362.cudf.caixa.log                                09-Mar-2011 15:53                 257
3362.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7658
3362.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3362.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3363.cudf.caixa.error                              09-Mar-2011 15:53                 299
3363.cudf.caixa.log                                09-Mar-2011 15:53                 256
3363.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6776
3363.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3363.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3368.cudf.caixa.error                              09-Mar-2011 15:53                 299
3368.cudf.caixa.log                                09-Mar-2011 15:53                 256
3368.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6768
3368.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3368.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
36.cudf.caixa.error                                09-Mar-2011 15:53                 299
36.cudf.caixa.log                                  09-Mar-2011 15:53                 256
36.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6809
36.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
36.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3674.cudf.caixa.error                              09-Mar-2011 15:53                 285
3674.cudf.caixa.log                                09-Mar-2011 15:53                 242
3674.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6812
3674.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3674.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3825.cudf.caixa.error                              09-Mar-2011 15:53                 243
3825.cudf.caixa.log                                09-Mar-2011 15:53                 200
3825.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6798
3825.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3825.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7589
3826.cudf.caixa.error                              09-Mar-2011 15:53                 243
3826.cudf.caixa.log                                09-Mar-2011 15:53                 200
3826.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
3826.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3826.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7589
3842.cudf.caixa.error                              09-Mar-2011 15:53                 285
3842.cudf.caixa.log                                09-Mar-2011 15:53                 242
3842.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6801
3842.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3842.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3846.cudf.caixa.error                              09-Mar-2011 15:53                 285
3846.cudf.caixa.log                                09-Mar-2011 15:53                 242
3846.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6800
3846.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3846.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3848.cudf.caixa.error                              09-Mar-2011 15:53                 285
3848.cudf.caixa.log                                09-Mar-2011 15:53                 242
3848.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6800
3848.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3848.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3851.cudf.caixa.error                              09-Mar-2011 15:53                 285
3851.cudf.caixa.log                                09-Mar-2011 15:53                 242
3851.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6765
3851.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3851.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3857.cudf.caixa.error                              09-Mar-2011 15:53                 285
3857.cudf.caixa.log                                09-Mar-2011 15:53                 242
3857.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6776
3857.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3857.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3863.cudf.caixa.error                              09-Mar-2011 15:53                 299
3863.cudf.caixa.log                                09-Mar-2011 15:53                 256
3863.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5959
3863.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3863.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3866.cudf.caixa.error                              09-Mar-2011 15:53                 250
3866.cudf.caixa.log                                09-Mar-2011 15:53                 207
3866.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7651
3866.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3866.cudf.caixa.result.bz2                         09-Mar-2011 15:53              147060
3867.cudf.caixa.error                              09-Mar-2011 15:53                 299
3867.cudf.caixa.log                                09-Mar-2011 15:53                 256
3867.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6810
3867.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3867.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3868.cudf.caixa.error                              09-Mar-2011 15:53                 299
3868.cudf.caixa.log                                09-Mar-2011 15:53                 256
3868.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6695
3868.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3868.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3869.cudf.caixa.error                              09-Mar-2011 15:53                 250
3869.cudf.caixa.log                                09-Mar-2011 15:53                 207
3869.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7650
3869.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3869.cudf.caixa.result.bz2                         09-Mar-2011 15:53              161407
3870.cudf.caixa.error                              09-Mar-2011 15:53                 250
3870.cudf.caixa.log                                09-Mar-2011 15:53                 207
3870.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7653
3870.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3870.cudf.caixa.result.bz2                         09-Mar-2011 15:53              161407
3871.cudf.caixa.error                              09-Mar-2011 15:53                 299
3871.cudf.caixa.log                                09-Mar-2011 15:53                 256
3871.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
3871.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3871.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3872.cudf.caixa.error                              09-Mar-2011 15:53                 299
3872.cudf.caixa.log                                09-Mar-2011 15:53                 256
3872.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6803
3872.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3872.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3873.cudf.caixa.error                              09-Mar-2011 15:53                 300
3873.cudf.caixa.log                                09-Mar-2011 15:53                 257
3873.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7653
3873.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3873.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3874.cudf.caixa.error                              09-Mar-2011 15:53                 300
3874.cudf.caixa.log                                09-Mar-2011 15:53                 257
3874.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7655
3874.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3874.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3875.cudf.caixa.error                              09-Mar-2011 15:53                 255
3875.cudf.caixa.log                                09-Mar-2011 15:53                 212
3875.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               11055
3875.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3875.cudf.caixa.result.bz2                         09-Mar-2011 15:53              167793
3876.cudf.caixa.error                              09-Mar-2011 15:53                 300
3876.cudf.caixa.log                                09-Mar-2011 15:53                 257
3876.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7661
3876.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3876.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3881.cudf.caixa.error                              09-Mar-2011 15:53                 250
3881.cudf.caixa.log                                09-Mar-2011 15:53                 207
3881.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7656
3881.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3881.cudf.caixa.result.bz2                         09-Mar-2011 15:53              116501
3884.cudf.caixa.error                              09-Mar-2011 15:53                 299
3884.cudf.caixa.log                                09-Mar-2011 15:53                 256
3884.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6816
3884.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3884.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3885.cudf.caixa.error                              09-Mar-2011 15:53                 299
3885.cudf.caixa.log                                09-Mar-2011 15:53                 256
3885.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6777
3885.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3885.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3887.cudf.caixa.error                              09-Mar-2011 15:53                 250
3887.cudf.caixa.log                                09-Mar-2011 15:53                 207
3887.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7655
3887.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3887.cudf.caixa.result.bz2                         09-Mar-2011 15:53              189308
3888.cudf.caixa.error                              09-Mar-2011 15:53                 250
3888.cudf.caixa.log                                09-Mar-2011 15:53                 207
3888.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8490
3888.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3888.cudf.caixa.result.bz2                         09-Mar-2011 15:53              189495
3889.cudf.caixa.error                              09-Mar-2011 15:53                 299
3889.cudf.caixa.log                                09-Mar-2011 15:53                 256
3889.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6809
3889.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3889.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3890.cudf.caixa.error                              09-Mar-2011 15:53                 250
3890.cudf.caixa.log                                09-Mar-2011 15:53                 207
3890.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8519
3890.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3890.cudf.caixa.result.bz2                         09-Mar-2011 15:53              188585
3891.cudf.caixa.error                              09-Mar-2011 15:53                 250
3891.cudf.caixa.log                                09-Mar-2011 15:53                 207
3891.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7761
3891.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3891.cudf.caixa.result.bz2                         09-Mar-2011 15:53              188585
3894.cudf.caixa.error                              09-Mar-2011 15:53                 299
3894.cudf.caixa.log                                09-Mar-2011 15:53                 256
3894.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6816
3894.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3894.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3896.cudf.caixa.error                              09-Mar-2011 15:53                 253
3896.cudf.caixa.log                                09-Mar-2011 15:53                 210
3896.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7727
3896.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3896.cudf.caixa.result.bz2                         09-Mar-2011 15:53              160197
3898.cudf.caixa.error                              09-Mar-2011 15:53                 253
3898.cudf.caixa.log                                09-Mar-2011 15:53                 210
3898.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6864
3898.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3898.cudf.caixa.result.bz2                         09-Mar-2011 15:53              160345
39.cudf.caixa.error                                09-Mar-2011 15:53                 299
39.cudf.caixa.log                                  09-Mar-2011 15:53                 256
39.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6884
39.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
39.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3906.cudf.caixa.error                              09-Mar-2011 15:53                 250
3906.cudf.caixa.log                                09-Mar-2011 15:53                 207
3906.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7751
3906.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3906.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128772
3907.cudf.caixa.error                              09-Mar-2011 15:53                 250
3907.cudf.caixa.log                                09-Mar-2011 15:53                 207
3907.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8604
3907.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3907.cudf.caixa.result.bz2                         09-Mar-2011 15:53              127228
3908.cudf.caixa.error                              09-Mar-2011 15:53                 250
3908.cudf.caixa.log                                09-Mar-2011 15:53                 207
3908.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7734
3908.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3908.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128772
3909.cudf.caixa.error                              09-Mar-2011 15:53                 250
3909.cudf.caixa.log                                09-Mar-2011 15:53                 207
3909.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8632
3909.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3909.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128725
3910.cudf.caixa.error                              09-Mar-2011 15:53                 250
3910.cudf.caixa.log                                09-Mar-2011 15:53                 207
3910.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8601
3910.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3910.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128725
3911.cudf.caixa.error                              09-Mar-2011 15:53                 250
3911.cudf.caixa.log                                09-Mar-2011 15:53                 207
3911.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7759
3911.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3911.cudf.caixa.result.bz2                         09-Mar-2011 15:53              127228
3912.cudf.caixa.error                              09-Mar-2011 15:53                 250
3912.cudf.caixa.log                                09-Mar-2011 15:53                 207
3912.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7754
3912.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3912.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128796
3913.cudf.caixa.error                              09-Mar-2011 15:53                 250
3913.cudf.caixa.log                                09-Mar-2011 15:53                 207
3913.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7731
3913.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3913.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128796
3915.cudf.caixa.error                              09-Mar-2011 15:53                 250
3915.cudf.caixa.log                                09-Mar-2011 15:53                 207
3915.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6891
3915.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3915.cudf.caixa.result.bz2                         09-Mar-2011 15:53              155110
3916.cudf.caixa.error                              09-Mar-2011 15:53                 250
3916.cudf.caixa.log                                09-Mar-2011 15:53                 207
3916.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
3916.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
3916.cudf.caixa.result.bz2                         09-Mar-2011 15:53              155297
3919.cudf.caixa.error                              09-Mar-2011 15:53                 250
3919.cudf.caixa.log                                09-Mar-2011 15:53                 207
3919.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6812
3919.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3919.cudf.caixa.result.bz2                         09-Mar-2011 15:53              131601
3921.cudf.caixa.error                              09-Mar-2011 15:53                 299
3921.cudf.caixa.log                                09-Mar-2011 15:53                 256
3921.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6901
3921.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3921.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3922.cudf.caixa.error                              09-Mar-2011 15:53                 299
3922.cudf.caixa.log                                09-Mar-2011 15:53                 256
3922.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6902
3922.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3922.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3923.cudf.caixa.error                              09-Mar-2011 15:53                 299
3923.cudf.caixa.log                                09-Mar-2011 15:53                 256
3923.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6884
3923.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3923.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3924.cudf.caixa.error                              09-Mar-2011 15:53                 299
3924.cudf.caixa.log                                09-Mar-2011 15:53                 256
3924.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6807
3924.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3924.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3925.cudf.caixa.error                              09-Mar-2011 15:53                 299
3925.cudf.caixa.log                                09-Mar-2011 15:53                 256
3925.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
3925.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3925.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3926.cudf.caixa.error                              09-Mar-2011 15:53                 299
3926.cudf.caixa.log                                09-Mar-2011 15:53                 256
3926.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6027
3926.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3926.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3929.cudf.caixa.error                              09-Mar-2011 15:53                 299
3929.cudf.caixa.log                                09-Mar-2011 15:53                 256
3929.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6895
3929.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3929.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3930.cudf.caixa.error                              09-Mar-2011 15:53                 299
3930.cudf.caixa.log                                09-Mar-2011 15:53                 256
3930.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6852
3930.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3930.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3931.cudf.caixa.error                              09-Mar-2011 15:53                 299
3931.cudf.caixa.log                                09-Mar-2011 15:53                 256
3931.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
3931.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3931.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3934.cudf.caixa.error                              09-Mar-2011 15:53                 299
3934.cudf.caixa.log                                09-Mar-2011 15:53                 256
3934.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6899
3934.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3934.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3936.cudf.caixa.error                              09-Mar-2011 15:53                 299
3936.cudf.caixa.log                                09-Mar-2011 15:53                 256
3936.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6904
3936.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3936.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3938.cudf.caixa.error                              09-Mar-2011 15:53                 300
3938.cudf.caixa.log                                09-Mar-2011 15:53                 257
3938.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6782
3938.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3938.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3939.cudf.caixa.error                              09-Mar-2011 15:53                 300
3939.cudf.caixa.log                                09-Mar-2011 15:53                 257
3939.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6783
3939.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3939.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3940.cudf.caixa.error                              09-Mar-2011 15:53                 252
3940.cudf.caixa.log                                09-Mar-2011 15:53                 209
3940.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8602
3940.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3940.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156002
3941.cudf.caixa.error                              09-Mar-2011 15:53                 299
3941.cudf.caixa.log                                09-Mar-2011 15:53                 256
3941.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
3941.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3941.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3944.cudf.caixa.error                              09-Mar-2011 15:53                 299
3944.cudf.caixa.log                                09-Mar-2011 15:53                 256
3944.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6027
3944.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3944.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3946.cudf.caixa.error                              09-Mar-2011 15:53                 300
3946.cudf.caixa.log                                09-Mar-2011 15:53                 257
3946.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6784
3946.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3946.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3948.cudf.caixa.error                              09-Mar-2011 15:53                 300
3948.cudf.caixa.log                                09-Mar-2011 15:53                 257
3948.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
3948.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3948.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3999.cudf.caixa.error                              09-Mar-2011 15:53                 297
3999.cudf.caixa.log                                09-Mar-2011 15:53                 254
3999.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5991
3999.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3999.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 245
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 202
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53               10507
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                3788
40.cudf.caixa.error                                09-Mar-2011 15:53                 299
40.cudf.caixa.log                                  09-Mar-2011 15:53                 256
40.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6890
40.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
40.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
4000.cudf.caixa.error                              09-Mar-2011 15:53                 299
4000.cudf.caixa.log                                09-Mar-2011 15:53                 256
4000.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6872
4000.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4000.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4001.cudf.caixa.error                              09-Mar-2011 15:53                 253
4001.cudf.caixa.log                                09-Mar-2011 15:53                 210
4001.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7772
4001.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4001.cudf.caixa.result.bz2                         09-Mar-2011 15:53              164186
4002.cudf.caixa.error                              09-Mar-2011 15:53                 299
4002.cudf.caixa.log                                09-Mar-2011 15:53                 256
4002.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
4002.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4002.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4003.cudf.caixa.error                              09-Mar-2011 15:53                 299
4003.cudf.caixa.log                                09-Mar-2011 15:53                 256
4003.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6867
4003.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4003.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4004.cudf.caixa.error                              09-Mar-2011 15:53                 250
4004.cudf.caixa.log                                09-Mar-2011 15:53                 207
4004.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7756
4004.cudf.caixa.log.time                           09-Mar-2011 15:53                 200
4004.cudf.caixa.result.bz2                         09-Mar-2011 15:53              190440
4006.cudf.caixa.error                              09-Mar-2011 15:53                 298
4006.cudf.caixa.log                                09-Mar-2011 15:53                 255
4006.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6854
4006.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4006.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4007.cudf.caixa.error                              09-Mar-2011 15:53                 298
4007.cudf.caixa.log                                09-Mar-2011 15:53                 255
4007.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6890
4007.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4007.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4008.cudf.caixa.error                              09-Mar-2011 15:53                 299
4008.cudf.caixa.log                                09-Mar-2011 15:53                 256
4008.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
4008.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4008.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4009.cudf.caixa.error                              09-Mar-2011 15:53                 299
4009.cudf.caixa.log                                09-Mar-2011 15:53                 256
4009.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6905
4009.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4009.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4011.cudf.caixa.error                              09-Mar-2011 15:53                 299
4011.cudf.caixa.log                                09-Mar-2011 15:53                 256
4011.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6873
4011.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4011.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4012.cudf.caixa.error                              09-Mar-2011 15:53                 299
4012.cudf.caixa.log                                09-Mar-2011 15:53                 256
4012.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6785
4012.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4012.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4013.cudf.caixa.error                              09-Mar-2011 15:53                 299
4013.cudf.caixa.log                                09-Mar-2011 15:53                 256
4013.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6901
4013.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4013.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4015.cudf.caixa.error                              09-Mar-2011 15:53                 299
4015.cudf.caixa.log                                09-Mar-2011 15:53                 256
4015.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6875
4015.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4015.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4016.cudf.caixa.error                              09-Mar-2011 15:53                 299
4016.cudf.caixa.log                                09-Mar-2011 15:53                 256
4016.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6860
4016.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4016.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4017.cudf.caixa.error                              09-Mar-2011 15:53                 299
4017.cudf.caixa.log                                09-Mar-2011 15:53                 256
4017.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
4017.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4017.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4018.cudf.caixa.error                              09-Mar-2011 15:53                 299
4018.cudf.caixa.log                                09-Mar-2011 15:53                 256
4018.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6811
4018.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4018.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4019.cudf.caixa.error                              09-Mar-2011 15:53                 250
4019.cudf.caixa.log                                09-Mar-2011 15:53                 207
4019.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
4019.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4019.cudf.caixa.result.bz2                         09-Mar-2011 15:53              190887
4020.cudf.caixa.error                              09-Mar-2011 15:53                 299
4020.cudf.caixa.log                                09-Mar-2011 15:53                 256
4020.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6902
4020.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4020.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4021.cudf.caixa.error                              09-Mar-2011 15:53                 299
4021.cudf.caixa.log                                09-Mar-2011 15:53                 256
4021.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4021.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4021.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4022.cudf.caixa.error                              09-Mar-2011 15:53                 250
4022.cudf.caixa.log                                09-Mar-2011 15:53                 207
4022.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8597
4022.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4022.cudf.caixa.result.bz2                         09-Mar-2011 15:53              192644
4023.cudf.caixa.error                              09-Mar-2011 15:53                 253
4023.cudf.caixa.log                                09-Mar-2011 15:53                 210
4023.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7734
4023.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4023.cudf.caixa.result.bz2                         09-Mar-2011 15:53              165617
4024.cudf.caixa.error                              09-Mar-2011 15:53                 300
4024.cudf.caixa.log                                09-Mar-2011 15:53                 257
4024.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6892
4024.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4024.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4025.cudf.caixa.error                              09-Mar-2011 15:53                 299
4025.cudf.caixa.log                                09-Mar-2011 15:53                 256
4025.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7737
4025.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4025.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4026.cudf.caixa.error                              09-Mar-2011 15:53                 300
4026.cudf.caixa.log                                09-Mar-2011 15:53                 257
4026.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7767
4026.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4026.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4027.cudf.caixa.error                              09-Mar-2011 15:53                 300
4027.cudf.caixa.log                                09-Mar-2011 15:53                 257
4027.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7768
4027.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4027.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4028.cudf.caixa.error                              09-Mar-2011 15:53                 254
4028.cudf.caixa.log                                09-Mar-2011 15:53                 211
4028.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8610
4028.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4028.cudf.caixa.result.bz2                         09-Mar-2011 15:53              166917
4029.cudf.caixa.error                              09-Mar-2011 15:53                 299
4029.cudf.caixa.log                                09-Mar-2011 15:53                 256
4029.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6814
4029.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4029.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4030.cudf.caixa.error                              09-Mar-2011 15:53                 299
4030.cudf.caixa.log                                09-Mar-2011 15:53                 256
4030.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7774
4030.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4030.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4031.cudf.caixa.error                              09-Mar-2011 15:53                 299
4031.cudf.caixa.log                                09-Mar-2011 15:53                 256
4031.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7764
4031.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4031.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4032.cudf.caixa.error                              09-Mar-2011 15:53                 299
4032.cudf.caixa.log                                09-Mar-2011 15:53                 256
4032.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6900
4032.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4032.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4033.cudf.caixa.error                              09-Mar-2011 15:53                 299
4033.cudf.caixa.log                                09-Mar-2011 15:53                 256
4033.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7763
4033.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4033.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4034.cudf.caixa.error                              09-Mar-2011 15:53                 299
4034.cudf.caixa.log                                09-Mar-2011 15:53                 256
4034.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7726
4034.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4034.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4035.cudf.caixa.error                              09-Mar-2011 15:53                 299
4035.cudf.caixa.log                                09-Mar-2011 15:53                 256
4035.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7766
4035.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4035.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4036.cudf.caixa.error                              09-Mar-2011 15:53                 300
4036.cudf.caixa.log                                09-Mar-2011 15:53                 257
4036.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6728
4036.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4036.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4037.cudf.caixa.error                              09-Mar-2011 15:53                 299
4037.cudf.caixa.log                                09-Mar-2011 15:53                 256
4037.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7648
4037.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4037.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4038.cudf.caixa.error                              09-Mar-2011 15:53                 250
4038.cudf.caixa.log                                09-Mar-2011 15:53                 207
4038.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8632
4038.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4038.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156305
4039.cudf.caixa.error                              09-Mar-2011 15:53                 250
4039.cudf.caixa.log                                09-Mar-2011 15:53                 207
4039.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8635
4039.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
4039.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156386
4040.cudf.caixa.error                              09-Mar-2011 15:53                 250
4040.cudf.caixa.log                                09-Mar-2011 15:53                 207
4040.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8630
4040.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4040.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156574
4041.cudf.caixa.error                              09-Mar-2011 15:53                 250
4041.cudf.caixa.log                                09-Mar-2011 15:53                 207
4041.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8602
4041.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
4041.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156386
4042.cudf.caixa.error                              09-Mar-2011 15:53                 299
4042.cudf.caixa.log                                09-Mar-2011 15:53                 256
4042.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7740
4042.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4042.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4043.cudf.caixa.error                              09-Mar-2011 15:53                 250
4043.cudf.caixa.log                                09-Mar-2011 15:53                 207
4043.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8628
4043.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
4043.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156480
4044.cudf.caixa.error                              09-Mar-2011 15:53                 250
4044.cudf.caixa.log                                09-Mar-2011 15:53                 207
4044.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8604
4044.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4044.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156346
4045.cudf.caixa.error                              09-Mar-2011 15:53                 250
4045.cudf.caixa.log                                09-Mar-2011 15:53                 207
4045.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9203
4045.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4045.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156386
4046.cudf.caixa.error                              09-Mar-2011 15:53                 250
4046.cudf.caixa.log                                09-Mar-2011 15:53                 207
4046.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8391
4046.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
4046.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156386
4047.cudf.caixa.error                              09-Mar-2011 15:53                 250
4047.cudf.caixa.log                                09-Mar-2011 15:53                 207
4047.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8367
4047.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4047.cudf.caixa.result.bz2                         09-Mar-2011 15:53              156386
4048.cudf.caixa.error                              09-Mar-2011 15:53                 299
4048.cudf.caixa.log                                09-Mar-2011 15:53                 256
4048.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7638
4048.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4048.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4049.cudf.caixa.error                              09-Mar-2011 15:53                 299
4049.cudf.caixa.log                                09-Mar-2011 15:53                 256
4049.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7579
4049.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4049.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4050.cudf.caixa.error                              09-Mar-2011 15:53                 300
4050.cudf.caixa.log                                09-Mar-2011 15:53                 257
4050.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6806
4050.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4050.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4051.cudf.caixa.error                              09-Mar-2011 15:53                 251
4051.cudf.caixa.log                                09-Mar-2011 15:53                 208
4051.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8517
4051.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4051.cudf.caixa.result.bz2                         09-Mar-2011 15:53              164460
4052.cudf.caixa.error                              09-Mar-2011 15:53                 299
4052.cudf.caixa.log                                09-Mar-2011 15:53                 256
4052.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7667
4052.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4052.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4054.cudf.caixa.error                              09-Mar-2011 15:53                 250
4054.cudf.caixa.log                                09-Mar-2011 15:53                 207
4054.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9377
4054.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4054.cudf.caixa.result.bz2                         09-Mar-2011 15:53              194088
4060.cudf.caixa.error                              09-Mar-2011 15:53                 250
4060.cudf.caixa.log                                09-Mar-2011 15:53                 207
4060.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7630
4060.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4060.cudf.caixa.result.bz2                         09-Mar-2011 15:53              113277
4061.cudf.caixa.error                              09-Mar-2011 15:53                 299
4061.cudf.caixa.log                                09-Mar-2011 15:53                 256
4061.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7636
4061.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4061.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4062.cudf.caixa.error                              09-Mar-2011 15:53                 300
4062.cudf.caixa.log                                09-Mar-2011 15:53                 257
4062.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7659
4062.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4062.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4063.cudf.caixa.error                              09-Mar-2011 15:53                 299
4063.cudf.caixa.log                                09-Mar-2011 15:53                 256
4063.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6814
4063.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4063.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4064.cudf.caixa.error                              09-Mar-2011 15:53                 299
4064.cudf.caixa.log                                09-Mar-2011 15:53                 256
4064.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6809
4064.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4064.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4065.cudf.caixa.error                              09-Mar-2011 15:53                 300
4065.cudf.caixa.log                                09-Mar-2011 15:53                 257
4065.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7657
4065.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4065.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4066.cudf.caixa.error                              09-Mar-2011 15:53                 299
4066.cudf.caixa.log                                09-Mar-2011 15:53                 256
4066.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
4066.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4066.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4067.cudf.caixa.error                              09-Mar-2011 15:53                 251
4067.cudf.caixa.log                                09-Mar-2011 15:53                 208
4067.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7666
4067.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4067.cudf.caixa.result.bz2                         09-Mar-2011 15:53              177065
4068.cudf.caixa.error                              09-Mar-2011 15:53                 299
4068.cudf.caixa.log                                09-Mar-2011 15:53                 256
4068.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
4068.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4068.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4069.cudf.caixa.error                              09-Mar-2011 15:53                 299
4069.cudf.caixa.log                                09-Mar-2011 15:53                 256
4069.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6811
4069.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4069.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4070.cudf.caixa.error                              09-Mar-2011 15:53                 299
4070.cudf.caixa.log                                09-Mar-2011 15:53                 256
4070.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6772
4070.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4070.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4071.cudf.caixa.error                              09-Mar-2011 15:53                 300
4071.cudf.caixa.log                                09-Mar-2011 15:53                 257
4071.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5955
4071.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4071.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4074.cudf.caixa.error                              09-Mar-2011 15:53                 300
4074.cudf.caixa.log                                09-Mar-2011 15:53                 257
4074.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
4074.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4074.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4076.cudf.caixa.error                              09-Mar-2011 15:53                 300
4076.cudf.caixa.log                                09-Mar-2011 15:53                 257
4076.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5340
4076.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4076.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4077.cudf.caixa.error                              09-Mar-2011 15:53                 255
4077.cudf.caixa.log                                09-Mar-2011 15:53                 212
4077.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
4077.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4077.cudf.caixa.result.bz2                         09-Mar-2011 15:53               91934
4078.cudf.caixa.error                              09-Mar-2011 15:53                 299
4078.cudf.caixa.log                                09-Mar-2011 15:53                 256
4078.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6798
4078.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4078.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4079.cudf.caixa.error                              09-Mar-2011 15:53                 299
4079.cudf.caixa.log                                09-Mar-2011 15:53                 256
4079.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6796
4079.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4079.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4080.cudf.caixa.error                              09-Mar-2011 15:53                 299
4080.cudf.caixa.log                                09-Mar-2011 15:53                 256
4080.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
4080.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4080.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4082.cudf.caixa.error                              09-Mar-2011 15:53                 300
4082.cudf.caixa.log                                09-Mar-2011 15:53                 257
4082.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7661
4082.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4082.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4083.cudf.caixa.error                              09-Mar-2011 15:53                 300
4083.cudf.caixa.log                                09-Mar-2011 15:53                 257
4083.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7636
4083.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4083.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4084.cudf.caixa.error                              09-Mar-2011 15:53                 299
4084.cudf.caixa.log                                09-Mar-2011 15:53                 256
4084.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6689
4084.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4084.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4085.cudf.caixa.error                              09-Mar-2011 15:53                 300
4085.cudf.caixa.log                                09-Mar-2011 15:53                 257
4085.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6771
4085.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4085.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4086.cudf.caixa.error                              09-Mar-2011 15:53                 300
4086.cudf.caixa.log                                09-Mar-2011 15:53                 257
4086.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
4086.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4086.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4087.cudf.caixa.error                              09-Mar-2011 15:53                 300
4087.cudf.caixa.log                                09-Mar-2011 15:53                 257
4087.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6884
4087.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4087.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4088.cudf.caixa.error                              09-Mar-2011 15:53                 300
4088.cudf.caixa.log                                09-Mar-2011 15:53                 257
4088.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4088.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4088.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4089.cudf.caixa.error                              09-Mar-2011 15:53                 256
4089.cudf.caixa.log                                09-Mar-2011 15:53                 213
4089.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6902
4089.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4089.cudf.caixa.result.bz2                         09-Mar-2011 15:53               86040
4090.cudf.caixa.error                              09-Mar-2011 15:53                 300
4090.cudf.caixa.log                                09-Mar-2011 15:53                 257
4090.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7763
4090.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4090.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4091.cudf.caixa.error                              09-Mar-2011 15:53                 300
4091.cudf.caixa.log                                09-Mar-2011 15:53                 257
4091.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6901
4091.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4091.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4092.cudf.caixa.abort                              09-Mar-2011 15:53                  49
4092.cudf.caixa.log                                09-Mar-2011 15:53                   0
4092.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7690
4092.cudf.caixa.log.time                           09-Mar-2011 15:53                 208
4110.cudf.caixa.error                              09-Mar-2011 15:53                 300
4110.cudf.caixa.log                                09-Mar-2011 15:53                 257
4110.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6907
4110.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4110.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4113.cudf.caixa.error                              09-Mar-2011 15:53                 251
4113.cudf.caixa.log                                09-Mar-2011 15:53                 208
4113.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9479
4113.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4113.cudf.caixa.result.bz2                         09-Mar-2011 15:53              195277
4114.cudf.caixa.error                              09-Mar-2011 15:53                 251
4114.cudf.caixa.log                                09-Mar-2011 15:53                 208
4114.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9512
4114.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4114.cudf.caixa.result.bz2                         09-Mar-2011 15:53              195058
4115.cudf.caixa.error                              09-Mar-2011 15:53                 251
4115.cudf.caixa.log                                09-Mar-2011 15:53                 208
4115.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9500
4115.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4115.cudf.caixa.result.bz2                         09-Mar-2011 15:53              195277
4116.cudf.caixa.error                              09-Mar-2011 15:53                 300
4116.cudf.caixa.log                                09-Mar-2011 15:53                 257
4116.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7742
4116.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4116.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4117.cudf.caixa.error                              09-Mar-2011 15:53                 251
4117.cudf.caixa.log                                09-Mar-2011 15:53                 208
4117.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10347
4117.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4117.cudf.caixa.result.bz2                         09-Mar-2011 15:53              195004
4119.cudf.caixa.error                              09-Mar-2011 15:53                 251
4119.cudf.caixa.log                                09-Mar-2011 15:53                 208
4119.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8627
4119.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4119.cudf.caixa.result.bz2                         09-Mar-2011 15:53              186230
4121.cudf.caixa.error                              09-Mar-2011 15:53                 300
4121.cudf.caixa.log                                09-Mar-2011 15:53                 257
4121.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6892
4121.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4121.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4122.cudf.caixa.error                              09-Mar-2011 15:53                 299
4122.cudf.caixa.log                                09-Mar-2011 15:53                 256
4122.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
4122.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4122.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4123.cudf.caixa.error                              09-Mar-2011 15:53                 299
4123.cudf.caixa.log                                09-Mar-2011 15:53                 256
4123.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6890
4123.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4123.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
42.cudf.caixa.error                                09-Mar-2011 15:53                 299
42.cudf.caixa.log                                  09-Mar-2011 15:53                 256
42.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6867
42.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
42.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
43.cudf.caixa.error                                09-Mar-2011 15:53                 299
43.cudf.caixa.log                                  09-Mar-2011 15:53                 256
43.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6728
43.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
43.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
44.cudf.caixa.error                                09-Mar-2011 15:53                 299
44.cudf.caixa.log                                  09-Mar-2011 15:53                 256
44.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6896
44.cudf.caixa.log.time                             09-Mar-2011 15:53                 203
44.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
46.cudf.caixa.error                                09-Mar-2011 15:53                 299
46.cudf.caixa.log                                  09-Mar-2011 15:53                 256
46.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6897
46.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
46.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
47.cudf.caixa.error                                09-Mar-2011 15:53                 299
47.cudf.caixa.log                                  09-Mar-2011 15:53                 256
47.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6018
47.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
47.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13085
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              131781
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13071
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              133615
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                9601
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 201
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               63814
519.cudf.caixa.error                               09-Mar-2011 15:53                 299
519.cudf.caixa.log                                 09-Mar-2011 15:53                 256
519.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6900
519.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
519.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
520.cudf.caixa.error                               09-Mar-2011 15:53                 299
520.cudf.caixa.log                                 09-Mar-2011 15:53                 256
520.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
520.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
520.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
521.cudf.caixa.error                               09-Mar-2011 15:53                 299
521.cudf.caixa.log                                 09-Mar-2011 15:53                 256
521.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6866
521.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
521.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
522.cudf.caixa.error                               09-Mar-2011 15:53                 299
522.cudf.caixa.log                                 09-Mar-2011 15:53                 256
522.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6871
522.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
522.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
534.cudf.caixa.error                               09-Mar-2011 15:53                 300
534.cudf.caixa.log                                 09-Mar-2011 15:53                 257
534.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6862
534.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
534.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
536.cudf.caixa.error                               09-Mar-2011 15:53                 300
536.cudf.caixa.log                                 09-Mar-2011 15:53                 257
536.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6861
536.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
536.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
538.cudf.caixa.error                               09-Mar-2011 15:53                 300
538.cudf.caixa.log                                 09-Mar-2011 15:53                 257
538.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
538.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
538.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
550.cudf.caixa.error                               09-Mar-2011 15:53                 250
550.cudf.caixa.log                                 09-Mar-2011 15:53                 207
550.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8602
550.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
550.cudf.caixa.result.bz2                          09-Mar-2011 15:53               92359
555.cudf.caixa.error                               09-Mar-2011 15:53                 299
555.cudf.caixa.log                                 09-Mar-2011 15:53                 256
555.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
555.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
555.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
556.cudf.caixa.error                               09-Mar-2011 15:53                 250
556.cudf.caixa.log                                 09-Mar-2011 15:53                 207
556.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8636
556.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
556.cudf.caixa.result.bz2                          09-Mar-2011 15:53               92551
557.cudf.caixa.error                               09-Mar-2011 15:53                 299
557.cudf.caixa.log                                 09-Mar-2011 15:53                 256
557.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6781
557.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
557.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
558.cudf.caixa.error                               09-Mar-2011 15:53                 250
558.cudf.caixa.log                                 09-Mar-2011 15:53                 207
558.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7756
558.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
558.cudf.caixa.result.bz2                          09-Mar-2011 15:53               92359
559.cudf.caixa.error                               09-Mar-2011 15:53                 299
559.cudf.caixa.log                                 09-Mar-2011 15:53                 256
559.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6887
559.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
559.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13116
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              131781
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 245
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 202
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                9608
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 204
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                5845
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                9605
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 202
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               63814
571.cudf.caixa.error                               09-Mar-2011 15:53                 299
571.cudf.caixa.log                                 09-Mar-2011 15:53                 256
571.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6781
571.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
571.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
579.cudf.caixa.error                               09-Mar-2011 15:53                 299
579.cudf.caixa.log                                 09-Mar-2011 15:53                 256
579.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6869
579.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
579.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
58.cudf.caixa.error                                09-Mar-2011 15:53                 299
58.cudf.caixa.log                                  09-Mar-2011 15:53                 256
58.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6881
58.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
58.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
581.cudf.caixa.error                               09-Mar-2011 15:53                 299
581.cudf.caixa.log                                 09-Mar-2011 15:53                 256
581.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6864
581.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
581.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
582.cudf.caixa.error                               09-Mar-2011 15:53                 299
582.cudf.caixa.log                                 09-Mar-2011 15:53                 256
582.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
582.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
582.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
584.cudf.caixa.error                               09-Mar-2011 15:53                 299
584.cudf.caixa.log                                 09-Mar-2011 15:53                 256
584.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6866
584.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
584.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
589.cudf.caixa.error                               09-Mar-2011 15:53                 299
589.cudf.caixa.log                                 09-Mar-2011 15:53                 256
589.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7788
589.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
589.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 246
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               10330
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               11558
590.cudf.caixa.error                               09-Mar-2011 15:53                 299
590.cudf.caixa.log                                 09-Mar-2011 15:53                 256
590.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6899
590.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
590.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
591.cudf.caixa.error                               09-Mar-2011 15:53                 299
591.cudf.caixa.log                                 09-Mar-2011 15:53                 256
591.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6816
591.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
591.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
593.cudf.caixa.error                               09-Mar-2011 15:53                 299
593.cudf.caixa.log                                 09-Mar-2011 15:53                 256
593.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6813
593.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
593.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
597.cudf.caixa.error                               09-Mar-2011 15:53                 299
597.cudf.caixa.log                                 09-Mar-2011 15:53                 256
597.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6895
597.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
597.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
63.cudf.caixa.error                                09-Mar-2011 15:53                 300
63.cudf.caixa.log                                  09-Mar-2011 15:53                 257
63.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6865
63.cudf.caixa.log.time                             09-Mar-2011 15:53                 204
63.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
634.cudf.caixa.error                               09-Mar-2011 15:53                 300
634.cudf.caixa.log                                 09-Mar-2011 15:53                 257
634.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6808
634.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
634.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
642.cudf.caixa.error                               09-Mar-2011 15:53                 299
642.cudf.caixa.log                                 09-Mar-2011 15:53                 256
642.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
642.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
642.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
643.cudf.caixa.error                               09-Mar-2011 15:53                 285
643.cudf.caixa.log                                 09-Mar-2011 15:53                 242
643.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6865
643.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
643.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
645.cudf.caixa.error                               09-Mar-2011 15:53                 285
645.cudf.caixa.log                                 09-Mar-2011 15:53                 242
645.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6863
645.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
645.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
65.cudf.caixa.error                                09-Mar-2011 15:53                 300
65.cudf.caixa.log                                  09-Mar-2011 15:53                 257
65.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6898
65.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
65.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
650.cudf.caixa.error                               09-Mar-2011 15:53                 250
650.cudf.caixa.log                                 09-Mar-2011 15:53                 207
650.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8638
650.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
650.cudf.caixa.result.bz2                          09-Mar-2011 15:53              104148
654.cudf.caixa.error                               09-Mar-2011 15:53                 250
654.cudf.caixa.log                                 09-Mar-2011 15:53                 207
654.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7758
654.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
654.cudf.caixa.result.bz2                          09-Mar-2011 15:53              104206
657.cudf.caixa.error                               09-Mar-2011 15:53                 299
657.cudf.caixa.log                                 09-Mar-2011 15:53                 256
657.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6869
657.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
657.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
658.cudf.caixa.error                               09-Mar-2011 15:53                 291
658.cudf.caixa.log                                 09-Mar-2011 15:53                 248
658.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6810
658.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
658.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
66.cudf.caixa.error                                09-Mar-2011 15:53                 252
66.cudf.caixa.log                                  09-Mar-2011 15:53                 209
66.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                7735
66.cudf.caixa.log.time                             09-Mar-2011 15:53                 203
66.cudf.caixa.result.bz2                           09-Mar-2011 15:53               95023
672.cudf.caixa.error                               09-Mar-2011 15:53                 300
672.cudf.caixa.log                                 09-Mar-2011 15:53                 257
672.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6867
672.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
672.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 253
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 210
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               14623
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              129139
690.cudf.caixa.error                               09-Mar-2011 15:53                 250
690.cudf.caixa.log                                 09-Mar-2011 15:53                 207
690.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6895
690.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
690.cudf.caixa.result.bz2                          09-Mar-2011 15:53              105290
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12909
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              131776
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 253
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 210
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               14654
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128711
74.cudf.caixa.error                                09-Mar-2011 15:53                 299
74.cudf.caixa.log                                  09-Mar-2011 15:53                 256
74.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6859
74.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
74.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
745.cudf.caixa.error                               09-Mar-2011 15:53                 300
745.cudf.caixa.log                                 09-Mar-2011 15:53                 257
745.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                4865
745.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
745.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
770.cudf.caixa.error                               09-Mar-2011 15:53                 285
770.cudf.caixa.log                                 09-Mar-2011 15:53                 242
770.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6728
770.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
770.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
775.cudf.caixa.error                               09-Mar-2011 15:53                 285
775.cudf.caixa.log                                 09-Mar-2011 15:53                 242
775.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6726
775.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
775.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
778.cudf.caixa.error                               09-Mar-2011 15:53                 285
778.cudf.caixa.log                                 09-Mar-2011 15:53                 242
778.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6884
778.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
778.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
779.cudf.caixa.error                               09-Mar-2011 15:53                 300
779.cudf.caixa.log                                 09-Mar-2011 15:53                 257
779.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6898
779.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
779.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
781.cudf.caixa.error                               09-Mar-2011 15:53                 285
781.cudf.caixa.log                                 09-Mar-2011 15:53                 242
781.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
781.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
781.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
787.cudf.caixa.error                               09-Mar-2011 15:53                 240
787.cudf.caixa.log                                 09-Mar-2011 15:53                 197
787.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6901
787.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
787.cudf.caixa.result.bz2                          09-Mar-2011 15:53                3270
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 246
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                9581
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               11558
801.cudf.caixa.error                               09-Mar-2011 15:53                 299
801.cudf.caixa.log                                 09-Mar-2011 15:53                 256
801.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                4865
801.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
801.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
808.cudf.caixa.error                               09-Mar-2011 15:53                 299
808.cudf.caixa.log                                 09-Mar-2011 15:53                 256
808.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
808.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
808.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
809.cudf.caixa.error                               09-Mar-2011 15:53                 299
809.cudf.caixa.log                                 09-Mar-2011 15:53                 256
809.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6895
809.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
809.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
811.cudf.caixa.error                               09-Mar-2011 15:53                 299
811.cudf.caixa.log                                 09-Mar-2011 15:53                 256
811.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
811.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
811.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
812.cudf.caixa.error                               09-Mar-2011 15:53                 299
812.cudf.caixa.log                                 09-Mar-2011 15:53                 256
812.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6871
812.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
812.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
813.cudf.caixa.error                               09-Mar-2011 15:53                 299
813.cudf.caixa.log                                 09-Mar-2011 15:53                 256
813.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
813.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
813.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
814.cudf.caixa.error                               09-Mar-2011 15:53                 299
814.cudf.caixa.log                                 09-Mar-2011 15:53                 256
814.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6897
814.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
814.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
815.cudf.caixa.error                               09-Mar-2011 15:53                 300
815.cudf.caixa.log                                 09-Mar-2011 15:53                 257
815.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6866
815.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
815.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
816.cudf.caixa.error                               09-Mar-2011 15:53                 252
816.cudf.caixa.log                                 09-Mar-2011 15:53                 209
816.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                9490
816.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
816.cudf.caixa.result.bz2                          09-Mar-2011 15:53               99669
817.cudf.caixa.error                               09-Mar-2011 15:53                 285
817.cudf.caixa.log                                 09-Mar-2011 15:53                 242
817.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6894
817.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
817.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
818.cudf.caixa.error                               09-Mar-2011 15:53                 252
818.cudf.caixa.log                                 09-Mar-2011 15:53                 209
818.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8359
818.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
818.cudf.caixa.result.bz2                          09-Mar-2011 15:53               99669
819.cudf.caixa.error                               09-Mar-2011 15:53                 299
819.cudf.caixa.log                                 09-Mar-2011 15:53                 256
819.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6714
819.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
819.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
820.cudf.caixa.error                               09-Mar-2011 15:53                 300
820.cudf.caixa.log                                 09-Mar-2011 15:53                 257
820.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6807
820.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
820.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
821.cudf.caixa.error                               09-Mar-2011 15:53                 300
821.cudf.caixa.log                                 09-Mar-2011 15:53                 257
821.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6804
821.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
821.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
822.cudf.caixa.error                               09-Mar-2011 15:53                 300
822.cudf.caixa.log                                 09-Mar-2011 15:53                 257
822.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6804
822.cudf.caixa.log.time                            09-Mar-2011 15:53                 201
822.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
832.cudf.caixa.error                               09-Mar-2011 15:53                 300
832.cudf.caixa.log                                 09-Mar-2011 15:53                 257
832.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6779
832.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
832.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
837.cudf.caixa.error                               09-Mar-2011 15:53                 300
837.cudf.caixa.log                                 09-Mar-2011 15:53                 257
837.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6806
837.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
837.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
841.cudf.caixa.error                               09-Mar-2011 15:53                 300
841.cudf.caixa.log                                 09-Mar-2011 15:53                 257
841.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6808
841.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
841.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
843.cudf.caixa.error                               09-Mar-2011 15:53                 300
843.cudf.caixa.log                                 09-Mar-2011 15:53                 257
843.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6807
843.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
843.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
847.cudf.caixa.error                               09-Mar-2011 15:53                 300
847.cudf.caixa.log                                 09-Mar-2011 15:53                 257
847.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6778
847.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
847.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
855.cudf.caixa.error                               09-Mar-2011 15:53                 300
855.cudf.caixa.log                                 09-Mar-2011 15:53                 257
855.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6776
855.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
855.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
856.cudf.caixa.error                               09-Mar-2011 15:53                 300
856.cudf.caixa.log                                 09-Mar-2011 15:53                 257
856.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6810
856.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
856.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
858.cudf.caixa.error                               09-Mar-2011 15:53                 300
858.cudf.caixa.log                                 09-Mar-2011 15:53                 257
858.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7574
858.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
858.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
868.cudf.caixa.error                               09-Mar-2011 15:53                 285
868.cudf.caixa.log                                 09-Mar-2011 15:53                 242
868.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                4835
868.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
868.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
869.cudf.caixa.error                               09-Mar-2011 15:53                 291
869.cudf.caixa.log                                 09-Mar-2011 15:53                 248
869.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6805
869.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
869.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
873.cudf.caixa.error                               09-Mar-2011 15:53                 299
873.cudf.caixa.log                                 09-Mar-2011 15:53                 256
873.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6779
873.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
873.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 253
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 210
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               10408
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128711
902.cudf.caixa.error                               09-Mar-2011 15:53                 245
902.cudf.caixa.log                                 09-Mar-2011 15:53                 202
902.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6777
902.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
902.cudf.caixa.result.bz2                          09-Mar-2011 15:53               19343
933.cudf.caixa.error                               09-Mar-2011 15:53                 252
933.cudf.caixa.log                                 09-Mar-2011 15:53                 209
933.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8476
933.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
933.cudf.caixa.result.bz2                          09-Mar-2011 15:53              101540
937.cudf.caixa.error                               09-Mar-2011 15:53                 299
937.cudf.caixa.log                                 09-Mar-2011 15:53                 256
937.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6775
937.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
937.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
944.cudf.caixa.error                               09-Mar-2011 15:53                 252
944.cudf.caixa.log                                 09-Mar-2011 15:53                 209
944.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8512
944.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
944.cudf.caixa.result.bz2                          09-Mar-2011 15:53              101536
947.cudf.caixa.error                               09-Mar-2011 15:53                 252
947.cudf.caixa.log                                 09-Mar-2011 15:53                 209
947.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8513
947.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
947.cudf.caixa.result.bz2                          09-Mar-2011 15:53              101536
948.cudf.caixa.error                               09-Mar-2011 15:53                 252
948.cudf.caixa.log                                 09-Mar-2011 15:53                 209
948.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7538
948.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
948.cudf.caixa.result.bz2                          09-Mar-2011 15:53              101661
950.cudf.caixa.error                               09-Mar-2011 15:53                 300
950.cudf.caixa.log                                 09-Mar-2011 15:53                 257
950.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7666
950.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
950.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
951.cudf.caixa.error                               09-Mar-2011 15:53                 252
951.cudf.caixa.log                                 09-Mar-2011 15:53                 209
951.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7648
951.cudf.caixa.log.time                            09-Mar-2011 15:53                 201
951.cudf.caixa.result.bz2                          09-Mar-2011 15:53              101616
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13951
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              131776
990.cudf.caixa.error                               09-Mar-2011 15:53                 245
990.cudf.caixa.log                                 09-Mar-2011 15:53                 202
990.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6780
990.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
990.cudf.caixa.result.bz2                          09-Mar-2011 15:53               19029
991.cudf.caixa.error                               09-Mar-2011 15:53                 285
991.cudf.caixa.log                                 09-Mar-2011 15:53                 242
991.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6808
991.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
991.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
992.cudf.caixa.error                               09-Mar-2011 15:53                 285
992.cudf.caixa.log                                 09-Mar-2011 15:53                 242
992.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6795
992.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
992.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
993.cudf.caixa.error                               09-Mar-2011 15:53                 285
993.cudf.caixa.log                                 09-Mar-2011 15:53                 242
993.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                5947
993.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
993.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
995.cudf.caixa.error                               09-Mar-2011 15:53                 289
995.cudf.caixa.log                                 09-Mar-2011 15:53                 246
995.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6807
995.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
995.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 256
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 213
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               14796
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128356
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13072
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              131781
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13075
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              133615
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 251
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 208
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12195
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              133615
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 251
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 208
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53               12929
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 203
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53              131340
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 256
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 213
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               15403
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              128356
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 252
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 209
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12029
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              134508
rand102.cudf.heavy.error                           09-Mar-2011 15:53                 272
rand102.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand102.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7766
rand102.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand102.cudf.heavy.result.bz2                      09-Mar-2011 15:53               45058
rand133.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand133.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand133.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9358
rand133.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand133.cudf.heavy.result.bz2                      09-Mar-2011 15:53               48515
rand151.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand151.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand151.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7707
rand151.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand151.cudf.heavy.result.bz2                      09-Mar-2011 15:53               46470
rand171.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand171.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand171.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9312
rand171.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand171.cudf.heavy.result.bz2                      09-Mar-2011 15:53               48734
rand190.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand190.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand190.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9339
rand190.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand190.cudf.heavy.result.bz2                      09-Mar-2011 15:53               52784
rand239.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand239.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand239.cudf.heavy.log.runsolver                   09-Mar-2011 15:53               10183
rand239.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand239.cudf.heavy.result.bz2                      09-Mar-2011 15:53               43187
rand327.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand327.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand327.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9340
rand327.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand327.cudf.heavy.result.bz2                      09-Mar-2011 15:53               45585
rand384.cudf.heavy.error                           09-Mar-2011 15:53                 251
rand384.cudf.heavy.log                             09-Mar-2011 15:53                 208
rand384.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7732
rand384.cudf.heavy.log.time                        09-Mar-2011 15:53                 201
rand384.cudf.heavy.result.bz2                      09-Mar-2011 15:53               44199
rand4.cudf.heavy.error                             09-Mar-2011 15:53                 254
rand4.cudf.heavy.log                               09-Mar-2011 15:53                 211
rand4.cudf.heavy.log.runsolver                     09-Mar-2011 15:53                9430
rand4.cudf.heavy.log.time                          09-Mar-2011 15:53                 203
rand4.cudf.heavy.result.bz2                        09-Mar-2011 15:53               38321
rand469.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand469.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand469.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                8601
rand469.cudf.heavy.log.time                        09-Mar-2011 15:53                 201
rand469.cudf.heavy.result.bz2                      09-Mar-2011 15:53               41955
rand565.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand565.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand565.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9475
rand565.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand565.cudf.heavy.result.bz2                      09-Mar-2011 15:53               43500
rand601.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand601.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand601.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9473
rand601.cudf.heavy.log.time                        09-Mar-2011 15:53                 201
rand601.cudf.heavy.result.bz2                      09-Mar-2011 15:53               42484
rand614.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand614.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand614.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9365
rand614.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand614.cudf.heavy.result.bz2                      09-Mar-2011 15:53               41253
rand64.cudf.heavy.error                            09-Mar-2011 15:53                 253
rand64.cudf.heavy.log                              09-Mar-2011 15:53                 210
rand64.cudf.heavy.log.runsolver                    09-Mar-2011 15:53                8611
rand64.cudf.heavy.log.time                         09-Mar-2011 15:53                 202
rand64.cudf.heavy.result.bz2                       09-Mar-2011 15:53               42047
rand67.cudf.heavy.error                            09-Mar-2011 15:53                 252
rand67.cudf.heavy.log                              09-Mar-2011 15:53                 209
rand67.cudf.heavy.log.runsolver                    09-Mar-2011 15:53                8574
rand67.cudf.heavy.log.time                         09-Mar-2011 15:53                 202
rand67.cudf.heavy.result.bz2                       09-Mar-2011 15:53               43608
rand91.cudf.heavy.error                            09-Mar-2011 15:53                 253
rand91.cudf.heavy.log                              09-Mar-2011 15:53                 210
rand91.cudf.heavy.log.runsolver                    09-Mar-2011 15:53               10342
rand91.cudf.heavy.log.time                         09-Mar-2011 15:53                 202
rand91.cudf.heavy.result.bz2                       09-Mar-2011 15:53               46138
rand948.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand948.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand948.cudf.heavy.log.runsolver                   09-Mar-2011 15:53               10346
rand948.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand948.cudf.heavy.result.bz2                      09-Mar-2011 15:53               42673
rand952.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand952.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand952.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9473
rand952.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand952.cudf.heavy.result.bz2                      09-Mar-2011 15:53               40689
rand957.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand957.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand957.cudf.heavy.log.runsolver                   09-Mar-2011 15:53               10334
rand957.cudf.heavy.log.time                        09-Mar-2011 15:53                 202
rand957.cudf.heavy.result.bz2                      09-Mar-2011 15:53               43919
rand967.cudf.heavy.error                           09-Mar-2011 15:53                 252
rand967.cudf.heavy.log                             09-Mar-2011 15:53                 209
rand967.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                9473
rand967.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand967.cudf.heavy.result.bz2                      09-Mar-2011 15:53               49777
rand992.cudf.heavy.error                           09-Mar-2011 15:53                 253
rand992.cudf.heavy.log                             09-Mar-2011 15:53                 210
rand992.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                8569
rand992.cudf.heavy.log.time                        09-Mar-2011 15:53                 201
rand992.cudf.heavy.result.bz2                      09-Mar-2011 15:53               43334