Index of /misc-live/20110225/solutions/trendy/aspcud-trendy-1.4/


../
1.cudf.caixa.error                                 09-Mar-2011 15:52                  43
1.cudf.caixa.log                                   09-Mar-2011 15:52                   0
1.cudf.caixa.log.runsolver                         09-Mar-2011 15:52                6515
1.cudf.caixa.log.time                              09-Mar-2011 15:52                 202
1.cudf.caixa.result.bz2                            09-Mar-2011 15:52                  42
1016.cudf.caixa.error                              09-Mar-2011 15:52                  43
1016.cudf.caixa.log                                09-Mar-2011 15:52                   0
1016.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6046
1016.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1016.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1018.cudf.caixa.error                              09-Mar-2011 15:52                  43
1018.cudf.caixa.log                                09-Mar-2011 15:52                   0
1018.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                4924
1018.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1018.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1021.cudf.caixa.error                              09-Mar-2011 15:52                  43
1021.cudf.caixa.log                                09-Mar-2011 15:52                   0
1021.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5260
1021.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1021.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
103.cudf.caixa.error                               09-Mar-2011 15:52                  43
103.cudf.caixa.log                                 09-Mar-2011 15:52                   0
103.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7381
103.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
103.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1034.cudf.caixa.error                              09-Mar-2011 15:52                  43
1034.cudf.caixa.log                                09-Mar-2011 15:52                   0
1034.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6204
1034.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1034.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1037.cudf.caixa.error                              09-Mar-2011 15:52                  43
1037.cudf.caixa.log                                09-Mar-2011 15:52                   0
1037.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5323
1037.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1037.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 708
1041.cudf.caixa.error                              09-Mar-2011 15:52                  43
1041.cudf.caixa.log                                09-Mar-2011 15:52                   0
1041.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8058
1041.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1041.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1047.cudf.caixa.error                              09-Mar-2011 15:52                  43
1047.cudf.caixa.log                                09-Mar-2011 15:52                   0
1047.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7723
1047.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1047.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1066.cudf.caixa.error                              09-Mar-2011 15:52                  43
1066.cudf.caixa.log                                09-Mar-2011 15:52                   0
1066.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6522
1066.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1066.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1067.cudf.caixa.error                              09-Mar-2011 15:52                  43
1067.cudf.caixa.log                                09-Mar-2011 15:52                   0
1067.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8068
1067.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1067.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1068.cudf.caixa.error                              09-Mar-2011 15:52                  43
1068.cudf.caixa.log                                09-Mar-2011 15:52                   0
1068.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7728
1068.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1068.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1075.cudf.caixa.error                              09-Mar-2011 15:52                  43
1075.cudf.caixa.log                                09-Mar-2011 15:52                   0
1075.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5309
1075.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1075.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1077.cudf.caixa.error                              09-Mar-2011 15:52                  43
1077.cudf.caixa.log                                09-Mar-2011 15:52                   0
1077.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5612
1077.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1077.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1078.cudf.caixa.error                              09-Mar-2011 15:52                  43
1078.cudf.caixa.log                                09-Mar-2011 15:52                   0
1078.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5276
1078.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1078.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 110
1082.cudf.caixa.error                              09-Mar-2011 15:52                  43
1082.cudf.caixa.log                                09-Mar-2011 15:52                   0
1082.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6999
1082.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1082.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1084.cudf.caixa.error                              09-Mar-2011 15:52                  43
1084.cudf.caixa.log                                09-Mar-2011 15:52                   0
1084.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5263
1084.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1084.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1092.cudf.caixa.error                              09-Mar-2011 15:52                  43
1092.cudf.caixa.log                                09-Mar-2011 15:52                   0
1092.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5005
1092.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1092.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1093.cudf.caixa.error                              09-Mar-2011 15:52                  43
1093.cudf.caixa.log                                09-Mar-2011 15:52                   0
1093.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6213
1093.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1093.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1094.cudf.caixa.error                              09-Mar-2011 15:52                  43
1094.cudf.caixa.log                                09-Mar-2011 15:52                   0
1094.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5644
1094.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1094.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 914
1095.cudf.caixa.error                              09-Mar-2011 15:52                  43
1095.cudf.caixa.log                                09-Mar-2011 15:52                   0
1095.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5660
1095.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1095.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1096.cudf.caixa.error                              09-Mar-2011 15:52                  43
1096.cudf.caixa.log                                09-Mar-2011 15:52                   0
1096.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5658
1096.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1096.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1097.cudf.caixa.error                              09-Mar-2011 15:52                  43
1097.cudf.caixa.log                                09-Mar-2011 15:52                   0
1097.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5975
1097.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1097.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 919
1098.cudf.caixa.error                              09-Mar-2011 15:52                  43
1098.cudf.caixa.log                                09-Mar-2011 15:52                   0
1098.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5644
1098.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1098.cudf.caixa.result.bz2                         09-Mar-2011 15:52                1672
1108.cudf.caixa.error                              09-Mar-2011 15:52                  43
1108.cudf.caixa.log                                09-Mar-2011 15:52                   0
1108.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7289
1108.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1108.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1109.cudf.caixa.error                              09-Mar-2011 15:52                  43
1109.cudf.caixa.log                                09-Mar-2011 15:52                   0
1109.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7956
1109.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1109.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1124.cudf.caixa.error                              09-Mar-2011 15:52                  43
1124.cudf.caixa.log                                09-Mar-2011 15:52                   0
1124.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5245
1124.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1124.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1125.cudf.caixa.error                              09-Mar-2011 15:52                  43
1125.cudf.caixa.log                                09-Mar-2011 15:52                   0
1125.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5629
1125.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1125.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1126.cudf.caixa.error                              09-Mar-2011 15:52                  43
1126.cudf.caixa.log                                09-Mar-2011 15:52                   0
1126.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5322
1126.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1126.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1128.cudf.caixa.error                              09-Mar-2011 15:52                  43
1128.cudf.caixa.log                                09-Mar-2011 15:52                   0
1128.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7412
1128.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1128.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1131.cudf.caixa.error                              09-Mar-2011 15:52                  43
1131.cudf.caixa.log                                09-Mar-2011 15:52                   0
1131.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7716
1131.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1131.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1143.cudf.caixa.error                              09-Mar-2011 15:52                  43
1143.cudf.caixa.log                                09-Mar-2011 15:52                   0
1143.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8380
1143.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1143.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1144.cudf.caixa.error                              09-Mar-2011 15:52                  43
1144.cudf.caixa.log                                09-Mar-2011 15:52                   0
1144.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7723
1144.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1144.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1152.cudf.caixa.error                              09-Mar-2011 15:52                  43
1152.cudf.caixa.log                                09-Mar-2011 15:52                   0
1152.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7381
1152.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1152.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1164.cudf.caixa.error                              09-Mar-2011 15:52                  43
1164.cudf.caixa.log                                09-Mar-2011 15:52                   0
1164.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6516
1164.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1164.cudf.caixa.result.bz2                         09-Mar-2011 15:52               11240
1194.cudf.caixa.error                              09-Mar-2011 15:52                  43
1194.cudf.caixa.log                                09-Mar-2011 15:52                   0
1194.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7074
1194.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1194.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
120.cudf.caixa.error                               09-Mar-2011 15:52                  43
120.cudf.caixa.log                                 09-Mar-2011 15:52                   0
120.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7375
120.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
120.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
121.cudf.caixa.error                               09-Mar-2011 15:52                  43
121.cudf.caixa.log                                 09-Mar-2011 15:52                   0
121.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6226
121.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
121.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
122.cudf.caixa.error                               09-Mar-2011 15:52                  43
122.cudf.caixa.log                                 09-Mar-2011 15:52                   0
122.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5859
122.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
122.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1231.cudf.caixa.error                              09-Mar-2011 15:52                  43
1231.cudf.caixa.log                                09-Mar-2011 15:52                   0
1231.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7377
1231.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1231.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1238.cudf.caixa.error                              09-Mar-2011 15:52                  43
1238.cudf.caixa.log                                09-Mar-2011 15:52                   0
1238.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7477
1238.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
1238.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1239.cudf.caixa.error                              09-Mar-2011 15:52                  43
1239.cudf.caixa.log                                09-Mar-2011 15:52                   0
1239.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7746
1239.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1239.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1243.cudf.caixa.error                              09-Mar-2011 15:52                  43
1243.cudf.caixa.log                                09-Mar-2011 15:52                   0
1243.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7413
1243.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1243.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1262.cudf.caixa.error                              09-Mar-2011 15:52                  43
1262.cudf.caixa.log                                09-Mar-2011 15:52                   0
1262.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7041
1262.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
1262.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1265.cudf.caixa.error                              09-Mar-2011 15:52                  43
1265.cudf.caixa.log                                09-Mar-2011 15:52                   0
1265.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7411
1265.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1265.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1300.cudf.caixa.error                              09-Mar-2011 15:52                  43
1300.cudf.caixa.log                                09-Mar-2011 15:52                   0
1300.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7411
1300.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1300.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
131.cudf.caixa.error                               09-Mar-2011 15:52                  43
131.cudf.caixa.log                                 09-Mar-2011 15:52                   0
131.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7403
131.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
131.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
132.cudf.caixa.error                               09-Mar-2011 15:52                  43
132.cudf.caixa.log                                 09-Mar-2011 15:52                   0
132.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6870
132.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
132.cudf.caixa.result.bz2                          09-Mar-2011 15:52                9726
1335.cudf.caixa.error                              09-Mar-2011 15:52                  43
1335.cudf.caixa.log                                09-Mar-2011 15:52                   0
1335.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7745
1335.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1335.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1336.cudf.caixa.error                              09-Mar-2011 15:52                  43
1336.cudf.caixa.log                                09-Mar-2011 15:52                   0
1336.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7409
1336.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1336.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1337.cudf.caixa.error                              09-Mar-2011 15:52                  43
1337.cudf.caixa.log                                09-Mar-2011 15:52                   0
1337.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7723
1337.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1337.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1362.cudf.caixa.error                              09-Mar-2011 15:52                  43
1362.cudf.caixa.log                                09-Mar-2011 15:52                   0
1362.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12966
1362.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1362.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1365.cudf.caixa.error                              09-Mar-2011 15:52                  43
1365.cudf.caixa.log                                09-Mar-2011 15:52                   0
1365.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6875
1365.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1365.cudf.caixa.result.bz2                         09-Mar-2011 15:52               11092
1366.cudf.caixa.error                              09-Mar-2011 15:52                  43
1366.cudf.caixa.log                                09-Mar-2011 15:52                   0
1366.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7043
1366.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1366.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1369.cudf.caixa.error                              09-Mar-2011 15:52                  43
1369.cudf.caixa.log                                09-Mar-2011 15:52                   0
1369.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7383
1369.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1369.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1378.cudf.caixa.error                              09-Mar-2011 15:52                  43
1378.cudf.caixa.log                                09-Mar-2011 15:52                   0
1378.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7408
1378.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1378.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10888
140.cudf.caixa.error                               09-Mar-2011 15:52                  43
140.cudf.caixa.log                                 09-Mar-2011 15:52                   0
140.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7406
140.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
140.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1468.cudf.caixa.error                              09-Mar-2011 15:52                  43
1468.cudf.caixa.log                                09-Mar-2011 15:52                   0
1468.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7745
1468.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1468.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10892
1481.cudf.caixa.error                              09-Mar-2011 15:52                  43
1481.cudf.caixa.log                                09-Mar-2011 15:52                   0
1481.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5303
1481.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1481.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
150.cudf.caixa.error                               09-Mar-2011 15:52                  43
150.cudf.caixa.log                                 09-Mar-2011 15:52                   0
150.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12604
150.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
150.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1596.cudf.caixa.error                              09-Mar-2011 15:52                  43
1596.cudf.caixa.log                                09-Mar-2011 15:52                   0
1596.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5542
1596.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
1596.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1602.cudf.caixa.error                              09-Mar-2011 15:52                  43
1602.cudf.caixa.log                                09-Mar-2011 15:52                   0
1602.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7746
1602.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1602.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1617.cudf.caixa.error                              09-Mar-2011 15:52                  43
1617.cudf.caixa.log                                09-Mar-2011 15:52                   0
1617.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6177
1617.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1617.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1627.cudf.caixa.error                              09-Mar-2011 15:52                  43
1627.cudf.caixa.log                                09-Mar-2011 15:52                   0
1627.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5857
1627.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1627.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1641.cudf.caixa.error                              09-Mar-2011 15:52                  43
1641.cudf.caixa.log                                09-Mar-2011 15:52                   0
1641.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12956
1641.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1641.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1647.cudf.caixa.error                              09-Mar-2011 15:52                  43
1647.cudf.caixa.log                                09-Mar-2011 15:52                   0
1647.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6531
1647.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
1647.cudf.caixa.result.bz2                         09-Mar-2011 15:52               11454
1651.cudf.caixa.error                              09-Mar-2011 15:52                  43
1651.cudf.caixa.log                                09-Mar-2011 15:52                   0
1651.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6179
1651.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1651.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1654.cudf.caixa.error                              09-Mar-2011 15:52                  43
1654.cudf.caixa.log                                09-Mar-2011 15:52                   0
1654.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5669
1654.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1654.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 663
1655.cudf.caixa.error                              09-Mar-2011 15:52                  43
1655.cudf.caixa.log                                09-Mar-2011 15:52                   0
1655.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5004
1655.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1655.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1657.cudf.caixa.error                              09-Mar-2011 15:52                  43
1657.cudf.caixa.log                                09-Mar-2011 15:52                   0
1657.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5654
1657.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1657.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
167.cudf.caixa.error                               09-Mar-2011 15:52                  43
167.cudf.caixa.log                                 09-Mar-2011 15:52                   0
167.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6864
167.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
167.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1670.cudf.caixa.error                              09-Mar-2011 15:52                  43
1670.cudf.caixa.log                                09-Mar-2011 15:52                   0
1670.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8070
1670.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
1670.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10399
168.cudf.caixa.error                               09-Mar-2011 15:52                  43
168.cudf.caixa.log                                 09-Mar-2011 15:52                   0
168.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6708
168.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
168.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1682.cudf.caixa.error                              09-Mar-2011 15:52                  43
1682.cudf.caixa.log                                09-Mar-2011 15:52                   0
1682.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6871
1682.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
1682.cudf.caixa.result.bz2                         09-Mar-2011 15:52               11445
1687.cudf.caixa.error                              09-Mar-2011 15:52                  43
1687.cudf.caixa.log                                09-Mar-2011 15:52                   0
1687.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5649
1687.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1687.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 604
169.cudf.caixa.error                               09-Mar-2011 15:52                  43
169.cudf.caixa.log                                 09-Mar-2011 15:52                   0
169.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7039
169.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
169.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1691.cudf.caixa.error                              09-Mar-2011 15:52                  43
1691.cudf.caixa.log                                09-Mar-2011 15:52                   0
1691.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5670
1691.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1691.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
170.cudf.caixa.error                               09-Mar-2011 15:52                  43
170.cudf.caixa.log                                 09-Mar-2011 15:52                   0
170.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6862
170.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
170.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1717.cudf.caixa.error                              09-Mar-2011 15:52                  43
1717.cudf.caixa.log                                09-Mar-2011 15:52                   0
1717.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5658
1717.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1717.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1719.cudf.caixa.error                              09-Mar-2011 15:52                  43
1719.cudf.caixa.log                                09-Mar-2011 15:52                   0
1719.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5295
1719.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1719.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1720.cudf.caixa.error                              09-Mar-2011 15:52                  43
1720.cudf.caixa.log                                09-Mar-2011 15:52                   0
1720.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5653
1720.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1720.cudf.caixa.result.bz2                         09-Mar-2011 15:52                1028
1722.cudf.caixa.error                              09-Mar-2011 15:52                  43
1722.cudf.caixa.log                                09-Mar-2011 15:52                   0
1722.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5984
1722.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1722.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
1723.cudf.caixa.error                              09-Mar-2011 15:52                  43
1723.cudf.caixa.log                                09-Mar-2011 15:52                   0
1723.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5311
1723.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1723.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
173.cudf.caixa.error                               09-Mar-2011 15:52                  43
173.cudf.caixa.log                                 09-Mar-2011 15:52                   0
173.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7070
173.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
173.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
174.cudf.caixa.error                               09-Mar-2011 15:52                  43
174.cudf.caixa.log                                 09-Mar-2011 15:52                   0
174.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6834
174.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
174.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
176.cudf.caixa.error                               09-Mar-2011 15:52                  43
176.cudf.caixa.log                                 09-Mar-2011 15:52                   0
176.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6861
176.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
176.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
178.cudf.caixa.error                               09-Mar-2011 15:52                  43
178.cudf.caixa.log                                 09-Mar-2011 15:52                   0
178.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7408
178.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
178.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
19.cudf.caixa.error                                09-Mar-2011 15:52                  43
19.cudf.caixa.log                                  09-Mar-2011 15:52                   0
19.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7371
19.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
19.cudf.caixa.result.bz2                           09-Mar-2011 15:52                9588
195.cudf.caixa.error                               09-Mar-2011 15:52                  43
195.cudf.caixa.log                                 09-Mar-2011 15:52                   0
195.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7407
195.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
195.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               10288
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 202
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23343
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               14594
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 202
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22817
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               13962
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22813
23.cudf.caixa.error                                09-Mar-2011 15:52                  43
23.cudf.caixa.log                                  09-Mar-2011 15:52                   0
23.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7068
23.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
23.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
25.cudf.caixa.error                                09-Mar-2011 15:52                  43
25.cudf.caixa.log                                  09-Mar-2011 15:52                   0
25.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7440
25.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
25.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               10994
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23227
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12030
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22777
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               15381
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22826
30.cudf.caixa.error                                09-Mar-2011 15:52                  43
30.cudf.caixa.log                                  09-Mar-2011 15:52                   0
30.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7748
30.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
30.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
33.cudf.caixa.error                                09-Mar-2011 15:52                  43
33.cudf.caixa.log                                  09-Mar-2011 15:52                   0
33.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                6667
33.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
33.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
3343.cudf.caixa.error                              09-Mar-2011 15:52                  43
3343.cudf.caixa.log                                09-Mar-2011 15:52                   0
3343.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6044
3343.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3343.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3362.cudf.caixa.error                              09-Mar-2011 15:52                  43
3362.cudf.caixa.log                                09-Mar-2011 15:52                   0
3362.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6766
3362.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3362.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3363.cudf.caixa.error                              09-Mar-2011 15:52                  43
3363.cudf.caixa.log                                09-Mar-2011 15:52                   0
3363.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7343
3363.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3363.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3368.cudf.caixa.error                              09-Mar-2011 15:52                  43
3368.cudf.caixa.log                                09-Mar-2011 15:52                   0
3368.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7210
3368.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3368.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
36.cudf.caixa.error                                09-Mar-2011 15:52                  43
36.cudf.caixa.log                                  09-Mar-2011 15:52                   0
36.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                6473
36.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
36.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
3674.cudf.caixa.error                              09-Mar-2011 15:52                  43
3674.cudf.caixa.log                                09-Mar-2011 15:52                   0
3674.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5278
3674.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3674.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3825.cudf.caixa.error                              09-Mar-2011 15:52                  43
3825.cudf.caixa.log                                09-Mar-2011 15:52                   0
3825.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9782
3825.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3825.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 725
3826.cudf.caixa.error                              09-Mar-2011 15:52                  43
3826.cudf.caixa.log                                09-Mar-2011 15:52                   0
3826.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5246
3826.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3826.cudf.caixa.result.bz2                         09-Mar-2011 15:52                 725
3842.cudf.caixa.error                              09-Mar-2011 15:52                  43
3842.cudf.caixa.log                                09-Mar-2011 15:52                   0
3842.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8245
3842.cudf.caixa.log.time                           09-Mar-2011 15:52                 206
3842.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3846.cudf.caixa.error                              09-Mar-2011 15:52                  43
3846.cudf.caixa.log                                09-Mar-2011 15:52                   0
3846.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5608
3846.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3846.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3848.cudf.caixa.error                              09-Mar-2011 15:52                  43
3848.cudf.caixa.log                                09-Mar-2011 15:52                   0
3848.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5276
3848.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3848.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3851.cudf.caixa.error                              09-Mar-2011 15:52                  43
3851.cudf.caixa.log                                09-Mar-2011 15:52                   0
3851.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5585
3851.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3851.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3857.cudf.caixa.error                              09-Mar-2011 15:52                  43
3857.cudf.caixa.log                                09-Mar-2011 15:52                   0
3857.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5920
3857.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3857.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3863.cudf.caixa.error                              09-Mar-2011 15:52                  43
3863.cudf.caixa.log                                09-Mar-2011 15:52                   0
3863.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7641
3863.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3863.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3866.cudf.caixa.error                              09-Mar-2011 15:52                  43
3866.cudf.caixa.log                                09-Mar-2011 15:52                   0
3866.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7628
3866.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
3866.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13212
3867.cudf.caixa.error                              09-Mar-2011 15:52                  43
3867.cudf.caixa.log                                09-Mar-2011 15:52                   0
3867.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7317
3867.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3867.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3868.cudf.caixa.error                              09-Mar-2011 15:52                  43
3868.cudf.caixa.log                                09-Mar-2011 15:52                   0
3868.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7317
3868.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3868.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3869.cudf.caixa.error                              09-Mar-2011 15:52                  43
3869.cudf.caixa.log                                09-Mar-2011 15:52                   0
3869.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6765
3869.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3869.cudf.caixa.result.bz2                         09-Mar-2011 15:52               12661
3870.cudf.caixa.error                              09-Mar-2011 15:52                  43
3870.cudf.caixa.log                                09-Mar-2011 15:52                   0
3870.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6458
3870.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3870.cudf.caixa.result.bz2                         09-Mar-2011 15:52               12661
3871.cudf.caixa.error                              09-Mar-2011 15:52                  43
3871.cudf.caixa.log                                09-Mar-2011 15:52                   0
3871.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11560
3871.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3871.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3872.cudf.caixa.error                              09-Mar-2011 15:52                  43
3872.cudf.caixa.log                                09-Mar-2011 15:52                   0
3872.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6458
3872.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3872.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3873.cudf.caixa.error                              09-Mar-2011 15:52                  43
3873.cudf.caixa.log                                09-Mar-2011 15:52                   0
3873.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13275
3873.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
3873.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3874.cudf.caixa.error                              09-Mar-2011 15:52                  43
3874.cudf.caixa.log                                09-Mar-2011 15:52                   0
3874.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8800
3874.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
3874.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3875.cudf.caixa.error                              09-Mar-2011 15:52                  43
3875.cudf.caixa.log                                09-Mar-2011 15:52                   0
3875.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9123
3875.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3875.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15339
3876.cudf.caixa.error                              09-Mar-2011 15:52                  43
3876.cudf.caixa.log                                09-Mar-2011 15:52                   0
3876.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9127
3876.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3876.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3881.cudf.caixa.error                              09-Mar-2011 15:52                  43
3881.cudf.caixa.log                                09-Mar-2011 15:52                   0
3881.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7621
3881.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3881.cudf.caixa.result.bz2                         09-Mar-2011 15:52                9715
3884.cudf.caixa.error                              09-Mar-2011 15:52                  43
3884.cudf.caixa.log                                09-Mar-2011 15:52                   0
3884.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7312
3884.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3884.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3885.cudf.caixa.error                              09-Mar-2011 15:52                  43
3885.cudf.caixa.log                                09-Mar-2011 15:52                   0
3885.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6990
3885.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3885.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3887.cudf.caixa.error                              09-Mar-2011 15:52                  43
3887.cudf.caixa.log                                09-Mar-2011 15:52                   0
3887.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6789
3887.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3887.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14928
3888.cudf.caixa.error                              09-Mar-2011 15:52                  43
3888.cudf.caixa.log                                09-Mar-2011 15:52                   0
3888.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7966
3888.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3888.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14826
3889.cudf.caixa.error                              09-Mar-2011 15:52                  43
3889.cudf.caixa.log                                09-Mar-2011 15:52                   0
3889.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6104
3889.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
3889.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3890.cudf.caixa.error                              09-Mar-2011 15:52                  43
3890.cudf.caixa.log                                09-Mar-2011 15:52                   0
3890.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8275
3890.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3890.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14835
3891.cudf.caixa.error                              09-Mar-2011 15:52                  43
3891.cudf.caixa.log                                09-Mar-2011 15:52                   0
3891.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7935
3891.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3891.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14835
3894.cudf.caixa.error                              09-Mar-2011 15:52                  43
3894.cudf.caixa.log                                09-Mar-2011 15:52                   0
3894.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7720
3894.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3894.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3896.cudf.caixa.error                              09-Mar-2011 15:52                  43
3896.cudf.caixa.log                                09-Mar-2011 15:52                   0
3896.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6216
3896.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3896.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13874
3898.cudf.caixa.error                              09-Mar-2011 15:52                  43
3898.cudf.caixa.log                                09-Mar-2011 15:52                   0
3898.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7108
3898.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3898.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13894
39.cudf.caixa.error                                09-Mar-2011 15:52                  43
39.cudf.caixa.log                                  09-Mar-2011 15:52                   0
39.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7407
39.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
39.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
3906.cudf.caixa.error                              09-Mar-2011 15:52                  43
3906.cudf.caixa.log                                09-Mar-2011 15:52                   0
3906.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6851
3906.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3906.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10749
3907.cudf.caixa.error                              09-Mar-2011 15:52                  43
3907.cudf.caixa.log                                09-Mar-2011 15:52                   0
3907.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6870
3907.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3907.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10651
3908.cudf.caixa.error                              09-Mar-2011 15:52                  43
3908.cudf.caixa.log                                09-Mar-2011 15:52                   0
3908.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8090
3908.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3908.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10749
3909.cudf.caixa.error                              09-Mar-2011 15:52                  43
3909.cudf.caixa.log                                09-Mar-2011 15:52                   0
3909.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7409
3909.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3909.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10710
3910.cudf.caixa.error                              09-Mar-2011 15:52                  43
3910.cudf.caixa.log                                09-Mar-2011 15:52                   0
3910.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7746
3910.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3910.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10710
3911.cudf.caixa.error                              09-Mar-2011 15:52                  43
3911.cudf.caixa.log                                09-Mar-2011 15:52                   0
3911.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6847
3911.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3911.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10651
3912.cudf.caixa.error                              09-Mar-2011 15:52                  43
3912.cudf.caixa.log                                09-Mar-2011 15:52                   0
3912.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7409
3912.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3912.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10736
3913.cudf.caixa.error                              09-Mar-2011 15:52                  43
3913.cudf.caixa.log                                09-Mar-2011 15:52                   0
3913.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7717
3913.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3913.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10736
3915.cudf.caixa.error                              09-Mar-2011 15:52                  43
3915.cudf.caixa.log                                09-Mar-2011 15:52                   0
3915.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6539
3915.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3915.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13494
3916.cudf.caixa.error                              09-Mar-2011 15:52                  43
3916.cudf.caixa.log                                09-Mar-2011 15:52                   0
3916.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7190
3916.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3916.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13499
3919.cudf.caixa.error                              09-Mar-2011 15:52                  43
3919.cudf.caixa.log                                09-Mar-2011 15:52                   0
3919.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6875
3919.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3919.cudf.caixa.result.bz2                         09-Mar-2011 15:52               11200
3921.cudf.caixa.error                              09-Mar-2011 15:52                  43
3921.cudf.caixa.log                                09-Mar-2011 15:52                   0
3921.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5838
3921.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3921.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3922.cudf.caixa.error                              09-Mar-2011 15:52                  43
3922.cudf.caixa.log                                09-Mar-2011 15:52                   0
3922.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13271
3922.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3922.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3923.cudf.caixa.error                              09-Mar-2011 15:52                  43
3923.cudf.caixa.log                                09-Mar-2011 15:52                   0
3923.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5860
3923.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3923.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3924.cudf.caixa.error                              09-Mar-2011 15:52                  43
3924.cudf.caixa.log                                09-Mar-2011 15:52                   0
3924.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6538
3924.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3924.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3925.cudf.caixa.error                              09-Mar-2011 15:52                  43
3925.cudf.caixa.log                                09-Mar-2011 15:52                   0
3925.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8068
3925.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3925.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3926.cudf.caixa.error                              09-Mar-2011 15:52                  43
3926.cudf.caixa.log                                09-Mar-2011 15:52                   0
3926.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9032
3926.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3926.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3929.cudf.caixa.error                              09-Mar-2011 15:52                  43
3929.cudf.caixa.log                                09-Mar-2011 15:52                   0
3929.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5878
3929.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3929.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3930.cudf.caixa.error                              09-Mar-2011 15:52                  43
3930.cudf.caixa.log                                09-Mar-2011 15:52                   0
3930.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6199
3930.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3930.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3931.cudf.caixa.error                              09-Mar-2011 15:52                  43
3931.cudf.caixa.log                                09-Mar-2011 15:52                   0
3931.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6845
3931.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3931.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3934.cudf.caixa.error                              09-Mar-2011 15:52                  43
3934.cudf.caixa.log                                09-Mar-2011 15:52                   0
3934.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8054
3934.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3934.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3936.cudf.caixa.error                              09-Mar-2011 15:52                  43
3936.cudf.caixa.log                                09-Mar-2011 15:52                   0
3936.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7742
3936.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3936.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3938.cudf.caixa.error                              09-Mar-2011 15:52                  43
3938.cudf.caixa.log                                09-Mar-2011 15:52                   0
3938.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7073
3938.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3938.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3939.cudf.caixa.error                              09-Mar-2011 15:52                  43
3939.cudf.caixa.log                                09-Mar-2011 15:52                   0
3939.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7732
3939.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3939.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3940.cudf.caixa.error                              09-Mar-2011 15:52                  43
3940.cudf.caixa.log                                09-Mar-2011 15:52                   0
3940.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7756
3940.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3940.cudf.caixa.result.bz2                         09-Mar-2011 15:52               13500
3941.cudf.caixa.error                              09-Mar-2011 15:52                  43
3941.cudf.caixa.log                                09-Mar-2011 15:52                   0
3941.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6520
3941.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3941.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3944.cudf.caixa.error                              09-Mar-2011 15:52                  43
3944.cudf.caixa.log                                09-Mar-2011 15:52                   0
3944.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7076
3944.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3944.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3946.cudf.caixa.error                              09-Mar-2011 15:52                  43
3946.cudf.caixa.log                                09-Mar-2011 15:52                   0
3946.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7044
3946.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
3946.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3948.cudf.caixa.error                              09-Mar-2011 15:52                  43
3948.cudf.caixa.log                                09-Mar-2011 15:52                   0
3948.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7714
3948.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
3948.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3999.cudf.caixa.error                              09-Mar-2011 15:52                  43
3999.cudf.caixa.log                                09-Mar-2011 15:52                   0
3999.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5880
3999.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3999.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                  43
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                   0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52               10275
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 203
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                1106
40.cudf.caixa.error                                09-Mar-2011 15:52                  43
40.cudf.caixa.log                                  09-Mar-2011 15:52                   0
40.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7100
40.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
40.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
4000.cudf.caixa.error                              09-Mar-2011 15:52                  43
4000.cudf.caixa.log                                09-Mar-2011 15:52                   0
4000.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7725
4000.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4000.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4001.cudf.caixa.error                              09-Mar-2011 15:52                  43
4001.cudf.caixa.log                                09-Mar-2011 15:52                   0
4001.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6536
4001.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4001.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14494
4002.cudf.caixa.error                              09-Mar-2011 15:52                  43
4002.cudf.caixa.log                                09-Mar-2011 15:52                   0
4002.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7486
4002.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4002.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4003.cudf.caixa.error                              09-Mar-2011 15:52                  43
4003.cudf.caixa.log                                09-Mar-2011 15:52                   0
4003.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7856
4003.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4003.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4004.cudf.caixa.error                              09-Mar-2011 15:52                  43
4004.cudf.caixa.log                                09-Mar-2011 15:52                   0
4004.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7392
4004.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4004.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14973
4006.cudf.caixa.error                              09-Mar-2011 15:52                  43
4006.cudf.caixa.log                                09-Mar-2011 15:52                   0
4006.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6203
4006.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4006.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4007.cudf.caixa.error                              09-Mar-2011 15:52                  43
4007.cudf.caixa.log                                09-Mar-2011 15:52                   0
4007.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6200
4007.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4007.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4008.cudf.caixa.error                              09-Mar-2011 15:52                  43
4008.cudf.caixa.log                                09-Mar-2011 15:52                   0
4008.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6205
4008.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4008.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4009.cudf.caixa.error                              09-Mar-2011 15:52                  43
4009.cudf.caixa.log                                09-Mar-2011 15:52                   0
4009.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5838
4009.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4009.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4011.cudf.caixa.error                              09-Mar-2011 15:52                  43
4011.cudf.caixa.log                                09-Mar-2011 15:52                   0
4011.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5862
4011.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4011.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4012.cudf.caixa.error                              09-Mar-2011 15:52                  43
4012.cudf.caixa.log                                09-Mar-2011 15:52                   0
4012.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6201
4012.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4012.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4013.cudf.caixa.error                              09-Mar-2011 15:52                  43
4013.cudf.caixa.log                                09-Mar-2011 15:52                   0
4013.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8054
4013.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4013.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4015.cudf.caixa.error                              09-Mar-2011 15:52                  43
4015.cudf.caixa.log                                09-Mar-2011 15:52                   0
4015.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6831
4015.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4015.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4016.cudf.caixa.error                              09-Mar-2011 15:52                  43
4016.cudf.caixa.log                                09-Mar-2011 15:52                   0
4016.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6199
4016.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4016.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4017.cudf.caixa.error                              09-Mar-2011 15:52                  43
4017.cudf.caixa.log                                09-Mar-2011 15:52                   0
4017.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6512
4017.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4017.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4018.cudf.caixa.error                              09-Mar-2011 15:52                  43
4018.cudf.caixa.log                                09-Mar-2011 15:52                   0
4018.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5862
4018.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4018.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4019.cudf.caixa.error                              09-Mar-2011 15:52                  43
4019.cudf.caixa.log                                09-Mar-2011 15:52                   0
4019.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12010
4019.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4019.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15007
4020.cudf.caixa.error                              09-Mar-2011 15:52                  43
4020.cudf.caixa.log                                09-Mar-2011 15:52                   0
4020.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7713
4020.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4020.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4021.cudf.caixa.error                              09-Mar-2011 15:52                  43
4021.cudf.caixa.log                                09-Mar-2011 15:52                   0
4021.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7066
4021.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4021.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4022.cudf.caixa.error                              09-Mar-2011 15:52                  43
4022.cudf.caixa.log                                09-Mar-2011 15:52                   0
4022.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8633
4022.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4022.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15140
4023.cudf.caixa.error                              09-Mar-2011 15:52                  43
4023.cudf.caixa.log                                09-Mar-2011 15:52                   0
4023.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8063
4023.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4023.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14567
4024.cudf.caixa.error                              09-Mar-2011 15:52                  43
4024.cudf.caixa.log                                09-Mar-2011 15:52                   0
4024.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7097
4024.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4024.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4025.cudf.caixa.error                              09-Mar-2011 15:52                  43
4025.cudf.caixa.log                                09-Mar-2011 15:52                   0
4025.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6207
4025.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4025.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4026.cudf.caixa.error                              09-Mar-2011 15:52                  43
4026.cudf.caixa.log                                09-Mar-2011 15:52                   0
4026.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7212
4026.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4026.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4027.cudf.caixa.error                              09-Mar-2011 15:52                  43
4027.cudf.caixa.log                                09-Mar-2011 15:52                   0
4027.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6510
4027.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4027.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4028.cudf.caixa.error                              09-Mar-2011 15:52                  43
4028.cudf.caixa.log                                09-Mar-2011 15:52                   0
4028.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6875
4028.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4028.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15222
4029.cudf.caixa.error                              09-Mar-2011 15:52                  43
4029.cudf.caixa.log                                09-Mar-2011 15:52                   0
4029.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6511
4029.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4029.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4030.cudf.caixa.error                              09-Mar-2011 15:52                  43
4030.cudf.caixa.log                                09-Mar-2011 15:52                   0
4030.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10718
4030.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4030.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4031.cudf.caixa.error                              09-Mar-2011 15:52                  43
4031.cudf.caixa.log                                09-Mar-2011 15:52                   0
4031.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7718
4031.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4031.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4032.cudf.caixa.error                              09-Mar-2011 15:52                  43
4032.cudf.caixa.log                                09-Mar-2011 15:52                   0
4032.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7769
4032.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4032.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4033.cudf.caixa.error                              09-Mar-2011 15:52                  43
4033.cudf.caixa.log                                09-Mar-2011 15:52                   0
4033.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7381
4033.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4033.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4034.cudf.caixa.error                              09-Mar-2011 15:52                  43
4034.cudf.caixa.log                                09-Mar-2011 15:52                   0
4034.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6169
4034.cudf.caixa.log.time                           09-Mar-2011 15:52                 200
4034.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4035.cudf.caixa.error                              09-Mar-2011 15:52                  43
4035.cudf.caixa.log                                09-Mar-2011 15:52                   0
4035.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6203
4035.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4035.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4036.cudf.caixa.error                              09-Mar-2011 15:52                  43
4036.cudf.caixa.log                                09-Mar-2011 15:52                   0
4036.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8082
4036.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4036.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4037.cudf.caixa.error                              09-Mar-2011 15:52                  43
4037.cudf.caixa.log                                09-Mar-2011 15:52                   0
4037.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7410
4037.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4037.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4038.cudf.caixa.error                              09-Mar-2011 15:52                  43
4038.cudf.caixa.log                                09-Mar-2011 15:52                   0
4038.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7397
4038.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4038.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14142
4039.cudf.caixa.error                              09-Mar-2011 15:52                  43
4039.cudf.caixa.log                                09-Mar-2011 15:52                   0
4039.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8389
4039.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4039.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14152
4040.cudf.caixa.error                              09-Mar-2011 15:52                  43
4040.cudf.caixa.log                                09-Mar-2011 15:52                   0
4040.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8074
4040.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4040.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14104
4041.cudf.caixa.error                              09-Mar-2011 15:52                  43
4041.cudf.caixa.log                                09-Mar-2011 15:52                   0
4041.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8394
4041.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4041.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14152
4042.cudf.caixa.error                              09-Mar-2011 15:52                  43
4042.cudf.caixa.log                                09-Mar-2011 15:52                   0
4042.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6855
4042.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4042.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4043.cudf.caixa.error                              09-Mar-2011 15:52                  43
4043.cudf.caixa.log                                09-Mar-2011 15:52                   0
4043.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8053
4043.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4043.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14147
4044.cudf.caixa.error                              09-Mar-2011 15:52                  43
4044.cudf.caixa.log                                09-Mar-2011 15:52                   0
4044.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8620
4044.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4044.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14085
4045.cudf.caixa.error                              09-Mar-2011 15:52                  43
4045.cudf.caixa.log                                09-Mar-2011 15:52                   0
4045.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7835
4045.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4045.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14152
4046.cudf.caixa.error                              09-Mar-2011 15:52                  43
4046.cudf.caixa.log                                09-Mar-2011 15:52                   0
4046.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7533
4046.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4046.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14152
4047.cudf.caixa.error                              09-Mar-2011 15:52                  43
4047.cudf.caixa.log                                09-Mar-2011 15:52                   0
4047.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7536
4047.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4047.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14152
4048.cudf.caixa.error                              09-Mar-2011 15:52                  43
4048.cudf.caixa.log                                09-Mar-2011 15:52                   0
4048.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7317
4048.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4048.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4049.cudf.caixa.error                              09-Mar-2011 15:52                  43
4049.cudf.caixa.log                                09-Mar-2011 15:52                   0
4049.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7310
4049.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4049.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4050.cudf.caixa.error                              09-Mar-2011 15:52                  43
4050.cudf.caixa.log                                09-Mar-2011 15:52                   0
4050.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7312
4050.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4050.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4051.cudf.caixa.error                              09-Mar-2011 15:52                  43
4051.cudf.caixa.log                                09-Mar-2011 15:52                   0
4051.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8271
4051.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4051.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14391
4052.cudf.caixa.error                              09-Mar-2011 15:52                  43
4052.cudf.caixa.log                                09-Mar-2011 15:52                   0
4052.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7594
4052.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4052.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4054.cudf.caixa.error                              09-Mar-2011 15:52                  43
4054.cudf.caixa.log                                09-Mar-2011 15:52                   0
4054.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7951
4054.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4054.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15767
4060.cudf.caixa.error                              09-Mar-2011 15:52                  43
4060.cudf.caixa.log                                09-Mar-2011 15:52                   0
4060.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7615
4060.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4060.cudf.caixa.result.bz2                         09-Mar-2011 15:52                9324
4061.cudf.caixa.error                              09-Mar-2011 15:52                  43
4061.cudf.caixa.log                                09-Mar-2011 15:52                   0
4061.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7936
4061.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4061.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4062.cudf.caixa.error                              09-Mar-2011 15:52                  43
4062.cudf.caixa.log                                09-Mar-2011 15:52                   0
4062.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7619
4062.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4062.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4063.cudf.caixa.error                              09-Mar-2011 15:52                  43
4063.cudf.caixa.log                                09-Mar-2011 15:52                   0
4063.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6440
4063.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4063.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4064.cudf.caixa.error                              09-Mar-2011 15:52                  43
4064.cudf.caixa.log                                09-Mar-2011 15:52                   0
4064.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6143
4064.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4064.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4065.cudf.caixa.error                              09-Mar-2011 15:52                  43
4065.cudf.caixa.log                                09-Mar-2011 15:52                   0
4065.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7950
4065.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4065.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4066.cudf.caixa.error                              09-Mar-2011 15:52                  43
4066.cudf.caixa.log                                09-Mar-2011 15:52                   0
4066.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6133
4066.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4066.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4067.cudf.caixa.error                              09-Mar-2011 15:52                  43
4067.cudf.caixa.log                                09-Mar-2011 15:52                   0
4067.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9144
4067.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4067.cudf.caixa.result.bz2                         09-Mar-2011 15:52               14767
4068.cudf.caixa.error                              09-Mar-2011 15:52                  43
4068.cudf.caixa.log                                09-Mar-2011 15:52                   0
4068.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7318
4068.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4068.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4069.cudf.caixa.error                              09-Mar-2011 15:52                  43
4069.cudf.caixa.log                                09-Mar-2011 15:52                   0
4069.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6775
4069.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4069.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4070.cudf.caixa.error                              09-Mar-2011 15:52                  43
4070.cudf.caixa.log                                09-Mar-2011 15:52                   0
4070.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7291
4070.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4070.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4071.cudf.caixa.error                              09-Mar-2011 15:52                  43
4071.cudf.caixa.log                                09-Mar-2011 15:52                   0
4071.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6119
4071.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4071.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4074.cudf.caixa.error                              09-Mar-2011 15:52                  43
4074.cudf.caixa.log                                09-Mar-2011 15:52                   0
4074.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                5813
4074.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4074.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4076.cudf.caixa.error                              09-Mar-2011 15:52                  43
4076.cudf.caixa.log                                09-Mar-2011 15:52                   0
4076.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6106
4076.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4076.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4077.cudf.caixa.error                              09-Mar-2011 15:52                  43
4077.cudf.caixa.log                                09-Mar-2011 15:52                   0
4077.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8186
4077.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4077.cudf.caixa.result.bz2                         09-Mar-2011 15:52               10039
4078.cudf.caixa.error                              09-Mar-2011 15:52                  43
4078.cudf.caixa.log                                09-Mar-2011 15:52                   0
4078.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6668
4078.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4078.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4079.cudf.caixa.error                              09-Mar-2011 15:52                  43
4079.cudf.caixa.log                                09-Mar-2011 15:52                   0
4079.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10094
4079.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4079.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4080.cudf.caixa.error                              09-Mar-2011 15:52                  43
4080.cudf.caixa.log                                09-Mar-2011 15:52                   0
4080.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6149
4080.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4080.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4082.cudf.caixa.error                              09-Mar-2011 15:52                  43
4082.cudf.caixa.log                                09-Mar-2011 15:52                   0
4082.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8233
4082.cudf.caixa.log.time                           09-Mar-2011 15:52                 201
4082.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4083.cudf.caixa.error                              09-Mar-2011 15:52                  43
4083.cudf.caixa.log                                09-Mar-2011 15:52                   0
4083.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7597
4083.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4083.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4084.cudf.caixa.error                              09-Mar-2011 15:52                  43
4084.cudf.caixa.log                                09-Mar-2011 15:52                   0
4084.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7646
4084.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4084.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4085.cudf.caixa.error                              09-Mar-2011 15:52                  43
4085.cudf.caixa.log                                09-Mar-2011 15:52                   0
4085.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7297
4085.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4085.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4086.cudf.caixa.error                              09-Mar-2011 15:52                  43
4086.cudf.caixa.log                                09-Mar-2011 15:52                   0
4086.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7323
4086.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4086.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4087.cudf.caixa.error                              09-Mar-2011 15:52                  43
4087.cudf.caixa.log                                09-Mar-2011 15:52                   0
4087.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6109
4087.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4087.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4088.cudf.caixa.error                              09-Mar-2011 15:52                  43
4088.cudf.caixa.log                                09-Mar-2011 15:52                   0
4088.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7433
4088.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4088.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4089.cudf.caixa.error                              09-Mar-2011 15:52                  43
4089.cudf.caixa.log                                09-Mar-2011 15:52                   0
4089.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7736
4089.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4089.cudf.caixa.result.bz2                         09-Mar-2011 15:52                9908
4090.cudf.caixa.error                              09-Mar-2011 15:52                  43
4090.cudf.caixa.log                                09-Mar-2011 15:52                   0
4090.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6859
4090.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4090.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4091.cudf.caixa.error                              09-Mar-2011 15:52                  43
4091.cudf.caixa.log                                09-Mar-2011 15:52                   0
4091.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10438
4091.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4091.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4092.cudf.caixa.error                              09-Mar-2011 15:52                  43
4092.cudf.caixa.log                                09-Mar-2011 15:52                   0
4092.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                7728
4092.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4092.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15612
4110.cudf.caixa.error                              09-Mar-2011 15:52                  43
4110.cudf.caixa.log                                09-Mar-2011 15:52                   0
4110.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8374
4110.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4110.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4113.cudf.caixa.error                              09-Mar-2011 15:52                  43
4113.cudf.caixa.log                                09-Mar-2011 15:52                   0
4113.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9254
4113.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4113.cudf.caixa.result.bz2                         09-Mar-2011 15:52               16139
4114.cudf.caixa.error                              09-Mar-2011 15:52                  43
4114.cudf.caixa.log                                09-Mar-2011 15:52                   0
4114.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9271
4114.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4114.cudf.caixa.result.bz2                         09-Mar-2011 15:52               16142
4115.cudf.caixa.error                              09-Mar-2011 15:52                  43
4115.cudf.caixa.log                                09-Mar-2011 15:52                   0
4115.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8936
4115.cudf.caixa.log.time                           09-Mar-2011 15:52                 202
4115.cudf.caixa.result.bz2                         09-Mar-2011 15:52               16139
4116.cudf.caixa.error                              09-Mar-2011 15:52                  43
4116.cudf.caixa.log                                09-Mar-2011 15:52                   0
4116.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8394
4116.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4116.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4117.cudf.caixa.error                              09-Mar-2011 15:52                  43
4117.cudf.caixa.log                                09-Mar-2011 15:52                   0
4117.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8055
4117.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4117.cudf.caixa.result.bz2                         09-Mar-2011 15:52               16058
4119.cudf.caixa.error                              09-Mar-2011 15:52                  43
4119.cudf.caixa.log                                09-Mar-2011 15:52                   0
4119.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9791
4119.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4119.cudf.caixa.result.bz2                         09-Mar-2011 15:52               15308
4121.cudf.caixa.error                              09-Mar-2011 15:52                  43
4121.cudf.caixa.log                                09-Mar-2011 15:52                   0
4121.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6519
4121.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4121.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4122.cudf.caixa.error                              09-Mar-2011 15:52                  43
4122.cudf.caixa.log                                09-Mar-2011 15:52                   0
4122.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6228
4122.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4122.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
4123.cudf.caixa.error                              09-Mar-2011 15:52                  43
4123.cudf.caixa.log                                09-Mar-2011 15:52                   0
4123.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                6227
4123.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4123.cudf.caixa.result.bz2                         09-Mar-2011 15:52                  42
42.cudf.caixa.error                                09-Mar-2011 15:52                  43
42.cudf.caixa.log                                  09-Mar-2011 15:52                   0
42.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                6172
42.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
42.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
43.cudf.caixa.error                                09-Mar-2011 15:52                  43
43.cudf.caixa.log                                  09-Mar-2011 15:52                   0
43.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7069
43.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
43.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
44.cudf.caixa.error                                09-Mar-2011 15:52                  43
44.cudf.caixa.log                                  09-Mar-2011 15:52                   0
44.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                5838
44.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
44.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
46.cudf.caixa.error                                09-Mar-2011 15:52                  43
46.cudf.caixa.log                                  09-Mar-2011 15:52                   0
46.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               11775
46.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
46.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
47.cudf.caixa.error                                09-Mar-2011 15:52                  43
47.cudf.caixa.log                                  09-Mar-2011 15:52                   0
47.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                5866
47.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
47.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               13157
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 202
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22863
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               10812
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 201
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23227
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               10838
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12776
519.cudf.caixa.error                               09-Mar-2011 15:52                  43
519.cudf.caixa.log                                 09-Mar-2011 15:52                   0
519.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12606
519.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
519.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
520.cudf.caixa.error                               09-Mar-2011 15:52                  43
520.cudf.caixa.log                                 09-Mar-2011 15:52                   0
520.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7067
520.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
520.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
521.cudf.caixa.error                               09-Mar-2011 15:52                  43
521.cudf.caixa.log                                 09-Mar-2011 15:52                   0
521.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7742
521.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
521.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
522.cudf.caixa.error                               09-Mar-2011 15:52                  43
522.cudf.caixa.log                                 09-Mar-2011 15:52                   0
522.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7408
522.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
522.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
534.cudf.caixa.error                               09-Mar-2011 15:52                  43
534.cudf.caixa.log                                 09-Mar-2011 15:52                   0
534.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7069
534.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
534.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
536.cudf.caixa.error                               09-Mar-2011 15:52                  43
536.cudf.caixa.log                                 09-Mar-2011 15:52                   0
536.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7379
536.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
536.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
538.cudf.caixa.error                               09-Mar-2011 15:52                  43
538.cudf.caixa.log                                 09-Mar-2011 15:52                   0
538.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                8033
538.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
538.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
550.cudf.caixa.error                               09-Mar-2011 15:52                  43
550.cudf.caixa.log                                 09-Mar-2011 15:52                   0
550.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6782
550.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
550.cudf.caixa.result.bz2                          09-Mar-2011 15:52                8290
555.cudf.caixa.error                               09-Mar-2011 15:52                  43
555.cudf.caixa.log                                 09-Mar-2011 15:52                   0
555.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7177
555.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
555.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
556.cudf.caixa.error                               09-Mar-2011 15:52                  43
556.cudf.caixa.log                                 09-Mar-2011 15:52                   0
556.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7616
556.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
556.cudf.caixa.result.bz2                          09-Mar-2011 15:52                8327
557.cudf.caixa.error                               09-Mar-2011 15:52                  43
557.cudf.caixa.log                                 09-Mar-2011 15:52                   0
557.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5872
557.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
557.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
558.cudf.caixa.error                               09-Mar-2011 15:52                  43
558.cudf.caixa.log                                 09-Mar-2011 15:52                   0
558.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6855
558.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
558.cudf.caixa.result.bz2                          09-Mar-2011 15:52                8290
559.cudf.caixa.error                               09-Mar-2011 15:52                  43
559.cudf.caixa.log                                 09-Mar-2011 15:52                   0
559.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5833
559.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
559.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               14468
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22863
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                  43
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                   0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                9692
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                1423
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                9943
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12776
571.cudf.caixa.error                               09-Mar-2011 15:52                  43
571.cudf.caixa.log                                 09-Mar-2011 15:52                   0
571.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6833
571.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
571.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
579.cudf.caixa.error                               09-Mar-2011 15:52                  43
579.cudf.caixa.log                                 09-Mar-2011 15:52                   0
579.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6207
579.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
579.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
58.cudf.caixa.error                                09-Mar-2011 15:52                  43
58.cudf.caixa.log                                  09-Mar-2011 15:52                   0
58.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                5868
58.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
58.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
581.cudf.caixa.error                               09-Mar-2011 15:52                  43
581.cudf.caixa.log                                 09-Mar-2011 15:52                   0
581.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6512
581.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
581.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
582.cudf.caixa.error                               09-Mar-2011 15:52                  43
582.cudf.caixa.log                                 09-Mar-2011 15:52                   0
582.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6513
582.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
582.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
584.cudf.caixa.error                               09-Mar-2011 15:52                  43
584.cudf.caixa.log                                 09-Mar-2011 15:52                   0
584.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7373
584.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
584.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
589.cudf.caixa.error                               09-Mar-2011 15:52                  43
589.cudf.caixa.log                                 09-Mar-2011 15:52                   0
589.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6855
589.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
589.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               19759
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                2912
590.cudf.caixa.error                               09-Mar-2011 15:52                  43
590.cudf.caixa.log                                 09-Mar-2011 15:52                   0
590.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7721
590.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
590.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
591.cudf.caixa.error                               09-Mar-2011 15:52                  43
591.cudf.caixa.log                                 09-Mar-2011 15:52                   0
591.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7177
591.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
591.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
593.cudf.caixa.error                               09-Mar-2011 15:52                  43
593.cudf.caixa.log                                 09-Mar-2011 15:52                   0
593.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7374
593.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
593.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
597.cudf.caixa.error                               09-Mar-2011 15:52                  43
597.cudf.caixa.log                                 09-Mar-2011 15:52                   0
597.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6855
597.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
597.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
63.cudf.caixa.error                                09-Mar-2011 15:52                  43
63.cudf.caixa.log                                  09-Mar-2011 15:52                   0
63.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                8030
63.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
63.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
634.cudf.caixa.error                               09-Mar-2011 15:52                  43
634.cudf.caixa.log                                 09-Mar-2011 15:52                   0
634.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7408
634.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
634.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
642.cudf.caixa.error                               09-Mar-2011 15:52                  43
642.cudf.caixa.log                                 09-Mar-2011 15:52                   0
642.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7722
642.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
642.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
643.cudf.caixa.error                               09-Mar-2011 15:52                  43
643.cudf.caixa.log                                 09-Mar-2011 15:52                   0
643.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5649
643.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
643.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
645.cudf.caixa.error                               09-Mar-2011 15:52                  43
645.cudf.caixa.log                                 09-Mar-2011 15:52                   0
645.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5649
645.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
645.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
65.cudf.caixa.error                                09-Mar-2011 15:52                  43
65.cudf.caixa.log                                  09-Mar-2011 15:52                   0
65.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7981
65.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
65.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
650.cudf.caixa.error                               09-Mar-2011 15:52                  43
650.cudf.caixa.log                                 09-Mar-2011 15:52                   0
650.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7377
650.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
650.cudf.caixa.result.bz2                          09-Mar-2011 15:52                9611
654.cudf.caixa.error                               09-Mar-2011 15:52                  43
654.cudf.caixa.log                                 09-Mar-2011 15:52                   0
654.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5898
654.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
654.cudf.caixa.result.bz2                          09-Mar-2011 15:52                9646
657.cudf.caixa.error                               09-Mar-2011 15:52                  43
657.cudf.caixa.log                                 09-Mar-2011 15:52                   0
657.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7424
657.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
657.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
658.cudf.caixa.error                               09-Mar-2011 15:52                  43
658.cudf.caixa.log                                 09-Mar-2011 15:52                   0
658.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5300
658.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
658.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
66.cudf.caixa.error                                09-Mar-2011 15:52                  43
66.cudf.caixa.log                                  09-Mar-2011 15:52                   0
66.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                7405
66.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
66.cudf.caixa.result.bz2                           09-Mar-2011 15:52                9598
672.cudf.caixa.error                               09-Mar-2011 15:52                  43
672.cudf.caixa.log                                 09-Mar-2011 15:52                   0
672.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7405
672.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
672.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               14393
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 202
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22849
690.cudf.caixa.error                               09-Mar-2011 15:52                  43
690.cudf.caixa.log                                 09-Mar-2011 15:52                   0
690.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7742
690.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
690.cudf.caixa.result.bz2                          09-Mar-2011 15:52                9701
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12672
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 202
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22873
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               14811
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 202
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22820
74.cudf.caixa.error                                09-Mar-2011 15:52                  43
74.cudf.caixa.log                                  09-Mar-2011 15:52                   0
74.cudf.caixa.log.runsolver                        09-Mar-2011 15:52                6511
74.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
74.cudf.caixa.result.bz2                           09-Mar-2011 15:52                  42
745.cudf.caixa.error                               09-Mar-2011 15:52                  43
745.cudf.caixa.log                                 09-Mar-2011 15:52                   0
745.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7071
745.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
745.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
770.cudf.caixa.error                               09-Mar-2011 15:52                  43
770.cudf.caixa.log                                 09-Mar-2011 15:52                   0
770.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5669
770.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
770.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
775.cudf.caixa.error                               09-Mar-2011 15:52                  43
775.cudf.caixa.log                                 09-Mar-2011 15:52                   0
775.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5872
775.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
775.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
778.cudf.caixa.error                               09-Mar-2011 15:52                  43
778.cudf.caixa.log                                 09-Mar-2011 15:52                   0
778.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6179
778.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
778.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
779.cudf.caixa.error                               09-Mar-2011 15:52                  43
779.cudf.caixa.log                                 09-Mar-2011 15:52                   0
779.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7382
779.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
779.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
781.cudf.caixa.error                               09-Mar-2011 15:52                  43
781.cudf.caixa.log                                 09-Mar-2011 15:52                   0
781.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6524
781.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
781.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
787.cudf.caixa.error                               09-Mar-2011 15:52                  43
787.cudf.caixa.log                                 09-Mar-2011 15:52                   0
787.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5000
787.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
787.cudf.caixa.result.bz2                          09-Mar-2011 15:52                 212
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               16061
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                2912
801.cudf.caixa.error                               09-Mar-2011 15:52                  43
801.cudf.caixa.log                                 09-Mar-2011 15:52                   0
801.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7377
801.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
801.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
808.cudf.caixa.error                               09-Mar-2011 15:52                  43
808.cudf.caixa.log                                 09-Mar-2011 15:52                   0
808.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7747
808.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
808.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
809.cudf.caixa.error                               09-Mar-2011 15:52                  43
809.cudf.caixa.log                                 09-Mar-2011 15:52                   0
809.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7752
809.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
809.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
811.cudf.caixa.error                               09-Mar-2011 15:52                  43
811.cudf.caixa.log                                 09-Mar-2011 15:52                   0
811.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6445
811.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
811.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
812.cudf.caixa.error                               09-Mar-2011 15:52                  43
812.cudf.caixa.log                                 09-Mar-2011 15:52                   0
812.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7409
812.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
812.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
813.cudf.caixa.error                               09-Mar-2011 15:52                  43
813.cudf.caixa.log                                 09-Mar-2011 15:52                   0
813.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5867
813.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
813.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
814.cudf.caixa.error                               09-Mar-2011 15:52                  43
814.cudf.caixa.log                                 09-Mar-2011 15:52                   0
814.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7095
814.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
814.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
815.cudf.caixa.error                               09-Mar-2011 15:52                  43
815.cudf.caixa.log                                 09-Mar-2011 15:52                   0
815.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7054
815.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
815.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
816.cudf.caixa.error                               09-Mar-2011 15:52                  43
816.cudf.caixa.log                                 09-Mar-2011 15:52                   0
816.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6846
816.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
816.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10142
817.cudf.caixa.error                               09-Mar-2011 15:52                  43
817.cudf.caixa.log                                 09-Mar-2011 15:52                   0
817.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5003
817.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
817.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
818.cudf.caixa.error                               09-Mar-2011 15:52                  43
818.cudf.caixa.log                                 09-Mar-2011 15:52                   0
818.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6356
818.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
818.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10142
819.cudf.caixa.error                               09-Mar-2011 15:52                  43
819.cudf.caixa.log                                 09-Mar-2011 15:52                   0
819.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6056
819.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
819.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
820.cudf.caixa.error                               09-Mar-2011 15:52                  43
820.cudf.caixa.log                                 09-Mar-2011 15:52                   0
820.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7600
820.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
820.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
821.cudf.caixa.error                               09-Mar-2011 15:52                  43
821.cudf.caixa.log                                 09-Mar-2011 15:52                   0
821.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7597
821.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
821.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
822.cudf.caixa.error                               09-Mar-2011 15:52                  43
822.cudf.caixa.log                                 09-Mar-2011 15:52                   0
822.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7642
822.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
822.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
832.cudf.caixa.error                               09-Mar-2011 15:52                  43
832.cudf.caixa.log                                 09-Mar-2011 15:52                   0
832.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7927
832.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
832.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
837.cudf.caixa.error                               09-Mar-2011 15:52                  43
837.cudf.caixa.log                                 09-Mar-2011 15:52                   0
837.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               11912
837.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
837.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
841.cudf.caixa.error                               09-Mar-2011 15:52                  43
841.cudf.caixa.log                                 09-Mar-2011 15:52                   0
841.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7306
841.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
841.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
843.cudf.caixa.error                               09-Mar-2011 15:52                  43
843.cudf.caixa.log                                 09-Mar-2011 15:52                   0
843.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7281
843.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
843.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
847.cudf.caixa.error                               09-Mar-2011 15:52                  43
847.cudf.caixa.log                                 09-Mar-2011 15:52                   0
847.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7628
847.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
847.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
855.cudf.caixa.error                               09-Mar-2011 15:52                  43
855.cudf.caixa.log                                 09-Mar-2011 15:52                   0
855.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7846
855.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
855.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
856.cudf.caixa.error                               09-Mar-2011 15:52                  43
856.cudf.caixa.log                                 09-Mar-2011 15:52                   0
856.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7973
856.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
856.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
858.cudf.caixa.error                               09-Mar-2011 15:52                  43
858.cudf.caixa.log                                 09-Mar-2011 15:52                   0
858.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6953
858.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
858.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
868.cudf.caixa.error                               09-Mar-2011 15:52                  43
868.cudf.caixa.log                                 09-Mar-2011 15:52                   0
868.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5565
868.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
868.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
869.cudf.caixa.error                               09-Mar-2011 15:52                  43
869.cudf.caixa.log                                 09-Mar-2011 15:52                   0
869.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5603
869.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
869.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
873.cudf.caixa.error                               09-Mar-2011 15:52                  43
873.cudf.caixa.log                                 09-Mar-2011 15:52                   0
873.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6700
873.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
873.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               14737
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22820
902.cudf.caixa.error                               09-Mar-2011 15:52                  43
902.cudf.caixa.log                                 09-Mar-2011 15:52                   0
902.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5575
902.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
902.cudf.caixa.result.bz2                          09-Mar-2011 15:52                1726
933.cudf.caixa.error                               09-Mar-2011 15:52                  43
933.cudf.caixa.log                                 09-Mar-2011 15:52                   0
933.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7614
933.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
933.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10300
937.cudf.caixa.error                               09-Mar-2011 15:52                  43
937.cudf.caixa.log                                 09-Mar-2011 15:52                   0
937.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7290
937.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
937.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
944.cudf.caixa.error                               09-Mar-2011 15:52                  43
944.cudf.caixa.log                                 09-Mar-2011 15:52                   0
944.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7314
944.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
944.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10354
947.cudf.caixa.error                               09-Mar-2011 15:52                  43
947.cudf.caixa.log                                 09-Mar-2011 15:52                   0
947.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               10399
947.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
947.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10354
948.cudf.caixa.error                               09-Mar-2011 15:52                  43
948.cudf.caixa.log                                 09-Mar-2011 15:52                   0
948.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                9109
948.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
948.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10301
950.cudf.caixa.error                               09-Mar-2011 15:52                  43
950.cudf.caixa.log                                 09-Mar-2011 15:52                   0
950.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                6954
950.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
950.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
951.cudf.caixa.error                               09-Mar-2011 15:52                  43
951.cudf.caixa.log                                 09-Mar-2011 15:52                   0
951.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7613
951.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
951.cudf.caixa.result.bz2                          09-Mar-2011 15:52               10316
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12930
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22873
990.cudf.caixa.error                               09-Mar-2011 15:52                  43
990.cudf.caixa.log                                 09-Mar-2011 15:52                   0
990.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7237
990.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
990.cudf.caixa.result.bz2                          09-Mar-2011 15:52                1715
991.cudf.caixa.error                               09-Mar-2011 15:52                  43
991.cudf.caixa.log                                 09-Mar-2011 15:52                   0
991.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               11089
991.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
991.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
992.cudf.caixa.error                               09-Mar-2011 15:52                  43
992.cudf.caixa.log                                 09-Mar-2011 15:52                   0
992.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                5261
992.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
992.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
993.cudf.caixa.error                               09-Mar-2011 15:52                  43
993.cudf.caixa.log                                 09-Mar-2011 15:52                   0
993.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                7544
993.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
993.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
995.cudf.caixa.error                               09-Mar-2011 15:52                  43
995.cudf.caixa.log                                 09-Mar-2011 15:52                   0
995.cudf.caixa.log.runsolver                       09-Mar-2011 15:52                9754
995.cudf.caixa.log.time                            09-Mar-2011 15:52                 206
995.cudf.caixa.result.bz2                          09-Mar-2011 15:52                  42
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               12287
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22813
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12950
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               22863
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12363
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23227
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               12068
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23227
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52                  43
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52                   0
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52               14743
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52                 201
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52               23287
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                  43
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                   0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               13429
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               22813
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                  43
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               11222
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 201
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               23343
rand102.cudf.heavy.error                           09-Mar-2011 15:52                 134
rand102.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand102.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               12004
rand102.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand102.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9603
rand133.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand133.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand133.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               10846
rand133.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand133.cudf.heavy.result.bz2                      09-Mar-2011 15:52               10770
rand151.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand151.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand151.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9986
rand151.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand151.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9771
rand171.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand171.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand171.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9651
rand171.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand171.cudf.heavy.result.bz2                      09-Mar-2011 15:52               10264
rand190.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand190.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand190.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9901
rand190.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand190.cudf.heavy.result.bz2                      09-Mar-2011 15:52               11362
rand239.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand239.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand239.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               13716
rand239.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand239.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9424
rand327.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand327.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand327.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               11389
rand327.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand327.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9820
rand384.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand384.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand384.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9225
rand384.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand384.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9724
rand4.cudf.heavy.error                             09-Mar-2011 15:52                  43
rand4.cudf.heavy.log                               09-Mar-2011 15:52                   0
rand4.cudf.heavy.log.runsolver                     09-Mar-2011 15:52               14288
rand4.cudf.heavy.log.time                          09-Mar-2011 15:52                 204
rand4.cudf.heavy.result.bz2                        09-Mar-2011 15:52                9991
rand469.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand469.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand469.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               10686
rand469.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand469.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9285
rand565.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand565.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand565.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                8397
rand565.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand565.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9576
rand601.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand601.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand601.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               10670
rand601.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand601.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9370
rand614.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand614.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand614.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               10106
rand614.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand614.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9019
rand64.cudf.heavy.error                            09-Mar-2011 15:52                  43
rand64.cudf.heavy.log                              09-Mar-2011 15:52                   0
rand64.cudf.heavy.log.runsolver                    09-Mar-2011 15:52                7722
rand64.cudf.heavy.log.time                         09-Mar-2011 15:52                 203
rand64.cudf.heavy.result.bz2                       09-Mar-2011 15:52                9156
rand67.cudf.heavy.error                            09-Mar-2011 15:52                  43
rand67.cudf.heavy.log                              09-Mar-2011 15:52                   0
rand67.cudf.heavy.log.runsolver                    09-Mar-2011 15:52               11022
rand67.cudf.heavy.log.time                         09-Mar-2011 15:52                 202
rand67.cudf.heavy.result.bz2                       09-Mar-2011 15:52                9417
rand91.cudf.heavy.error                            09-Mar-2011 15:52                  43
rand91.cudf.heavy.log                              09-Mar-2011 15:52                   0
rand91.cudf.heavy.log.runsolver                    09-Mar-2011 15:52                9786
rand91.cudf.heavy.log.time                         09-Mar-2011 15:52                 202
rand91.cudf.heavy.result.bz2                       09-Mar-2011 15:52               10094
rand948.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand948.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand948.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               10133
rand948.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand948.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9506
rand952.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand952.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand952.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               13627
rand952.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand952.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9198
rand957.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand957.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand957.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9455
rand957.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand957.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9538
rand967.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand967.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand967.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               12425
rand967.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand967.cudf.heavy.result.bz2                      09-Mar-2011 15:52               11410
rand992.cudf.heavy.error                           09-Mar-2011 15:52                  43
rand992.cudf.heavy.log                             09-Mar-2011 15:52                   0
rand992.cudf.heavy.log.runsolver                   09-Mar-2011 15:52                9795
rand992.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand992.cudf.heavy.result.bz2                      09-Mar-2011 15:52                9433