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


../
1.cudf.caixa.error                                 09-Mar-2011 15:53                 381
1.cudf.caixa.log                                   09-Mar-2011 15:53                 338
1.cudf.caixa.log.runsolver                         09-Mar-2011 15:53                7800
1.cudf.caixa.log.time                              09-Mar-2011 15:53                 205
1.cudf.caixa.result.bz2                            09-Mar-2011 15:53                  65
1016.cudf.caixa.error                              09-Mar-2011 15:53                 367
1016.cudf.caixa.log                                09-Mar-2011 15:53                 324
1016.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6711
1016.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1016.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1018.cudf.caixa.error                              09-Mar-2011 15:53                 367
1018.cudf.caixa.log                                09-Mar-2011 15:53                 324
1018.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5945
1018.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1018.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1021.cudf.caixa.error                              09-Mar-2011 15:53                 371
1021.cudf.caixa.log                                09-Mar-2011 15:53                 328
1021.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
1021.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1021.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
103.cudf.caixa.error                               09-Mar-2011 15:53                 382
103.cudf.caixa.log                                 09-Mar-2011 15:53                 339
103.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6900
103.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
103.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1034.cudf.caixa.error                              09-Mar-2011 15:53                 374
1034.cudf.caixa.log                                09-Mar-2011 15:53                 331
1034.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6493
1034.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1034.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1037.cudf.caixa.error                              09-Mar-2011 15:53                 359
1037.cudf.caixa.log                                09-Mar-2011 15:53                 316
1037.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6856
1037.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1037.cudf.caixa.result.bz2                         09-Mar-2011 15:53               10375
1041.cudf.caixa.error                              09-Mar-2011 15:53                 382
1041.cudf.caixa.log                                09-Mar-2011 15:53                 339
1041.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6787
1041.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1041.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1047.cudf.caixa.error                              09-Mar-2011 15:53                 382
1047.cudf.caixa.log                                09-Mar-2011 15:53                 339
1047.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
1047.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1047.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1066.cudf.caixa.error                              09-Mar-2011 15:53                 382
1066.cudf.caixa.log                                09-Mar-2011 15:53                 339
1066.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
1066.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1066.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1067.cudf.caixa.error                              09-Mar-2011 15:53                 382
1067.cudf.caixa.log                                09-Mar-2011 15:53                 339
1067.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6896
1067.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1067.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1068.cudf.caixa.error                              09-Mar-2011 15:53                 382
1068.cudf.caixa.log                                09-Mar-2011 15:53                 339
1068.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6891
1068.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1068.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1075.cudf.caixa.error                              09-Mar-2011 15:53                 373
1075.cudf.caixa.log                                09-Mar-2011 15:53                 330
1075.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6863
1075.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1075.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1077.cudf.caixa.error                              09-Mar-2011 15:53                 373
1077.cudf.caixa.log                                09-Mar-2011 15:53                 330
1077.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6779
1077.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1077.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1078.cudf.caixa.error                              09-Mar-2011 15:53                 318
1078.cudf.caixa.log                                09-Mar-2011 15:53                 275
1078.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6795
1078.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1078.cudf.caixa.result.bz2                         09-Mar-2011 15:53                2505
1082.cudf.caixa.error                              09-Mar-2011 15:53                 367
1082.cudf.caixa.log                                09-Mar-2011 15:53                 324
1082.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6796
1082.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1082.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1084.cudf.caixa.error                              09-Mar-2011 15:53                 371
1084.cudf.caixa.log                                09-Mar-2011 15:53                 328
1084.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6801
1084.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1084.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1092.cudf.caixa.error                              09-Mar-2011 15:53                 371
1092.cudf.caixa.log                                09-Mar-2011 15:53                 328
1092.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6022
1092.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1092.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1093.cudf.caixa.error                              09-Mar-2011 15:53                 373
1093.cudf.caixa.log                                09-Mar-2011 15:53                 330
1093.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
1093.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1093.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1094.cudf.caixa.error                              09-Mar-2011 15:53                 360
1094.cudf.caixa.log                                09-Mar-2011 15:53                 317
1094.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
1094.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1094.cudf.caixa.result.bz2                         09-Mar-2011 15:53                8782
1095.cudf.caixa.error                              09-Mar-2011 15:53                 371
1095.cudf.caixa.log                                09-Mar-2011 15:53                 328
1095.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6864
1095.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1095.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1096.cudf.caixa.error                              09-Mar-2011 15:53                 367
1096.cudf.caixa.log                                09-Mar-2011 15:53                 324
1096.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6899
1096.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1096.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1097.cudf.caixa.error                              09-Mar-2011 15:53                 360
1097.cudf.caixa.log                                09-Mar-2011 15:53                 317
1097.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
1097.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1097.cudf.caixa.result.bz2                         09-Mar-2011 15:53                8745
1098.cudf.caixa.error                              09-Mar-2011 15:53                 360
1098.cudf.caixa.log                                09-Mar-2011 15:53                 317
1098.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6891
1098.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1098.cudf.caixa.result.bz2                         09-Mar-2011 15:53               17020
1108.cudf.caixa.error                              09-Mar-2011 15:53                 382
1108.cudf.caixa.log                                09-Mar-2011 15:53                 339
1108.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
1108.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1108.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1109.cudf.caixa.error                              09-Mar-2011 15:53                 382
1109.cudf.caixa.log                                09-Mar-2011 15:53                 339
1109.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6810
1109.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1109.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1124.cudf.caixa.error                              09-Mar-2011 15:53                 371
1124.cudf.caixa.log                                09-Mar-2011 15:53                 328
1124.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6800
1124.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1124.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1125.cudf.caixa.error                              09-Mar-2011 15:53                 371
1125.cudf.caixa.log                                09-Mar-2011 15:53                 328
1125.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6886
1125.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1125.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1126.cudf.caixa.error                              09-Mar-2011 15:53                 371
1126.cudf.caixa.log                                09-Mar-2011 15:53                 328
1126.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6888
1126.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1126.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1128.cudf.caixa.error                              09-Mar-2011 15:53                 382
1128.cudf.caixa.log                                09-Mar-2011 15:53                 339
1128.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
1128.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1128.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1131.cudf.caixa.error                              09-Mar-2011 15:53                 382
1131.cudf.caixa.log                                09-Mar-2011 15:53                 339
1131.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
1131.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1131.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1143.cudf.caixa.error                              09-Mar-2011 15:53                 382
1143.cudf.caixa.log                                09-Mar-2011 15:53                 339
1143.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1143.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1143.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1144.cudf.caixa.error                              09-Mar-2011 15:53                 382
1144.cudf.caixa.log                                09-Mar-2011 15:53                 339
1144.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6810
1144.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1144.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1152.cudf.caixa.error                              09-Mar-2011 15:53                 382
1152.cudf.caixa.log                                09-Mar-2011 15:53                 339
1152.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6895
1152.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1152.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1164.cudf.caixa.error                              09-Mar-2011 15:53                 368
1164.cudf.caixa.log                                09-Mar-2011 15:53                 325
1164.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7774
1164.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1164.cudf.caixa.result.bz2                         09-Mar-2011 15:53              132823
1194.cudf.caixa.error                              09-Mar-2011 15:53                 381
1194.cudf.caixa.log                                09-Mar-2011 15:53                 338
1194.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6890
1194.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1194.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
120.cudf.caixa.error                               09-Mar-2011 15:53                 382
120.cudf.caixa.log                                 09-Mar-2011 15:53                 339
120.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
120.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
120.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
121.cudf.caixa.error                               09-Mar-2011 15:53                 378
121.cudf.caixa.log                                 09-Mar-2011 15:53                 335
121.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6894
121.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
121.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
122.cudf.caixa.error                               09-Mar-2011 15:53                 378
122.cudf.caixa.log                                 09-Mar-2011 15:53                 335
122.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6858
122.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
122.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1231.cudf.caixa.error                              09-Mar-2011 15:53                 382
1231.cudf.caixa.log                                09-Mar-2011 15:53                 339
1231.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6889
1231.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1231.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1238.cudf.caixa.error                              09-Mar-2011 15:53                 381
1238.cudf.caixa.log                                09-Mar-2011 15:53                 338
1238.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6885
1238.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
1238.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1239.cudf.caixa.error                              09-Mar-2011 15:53                 381
1239.cudf.caixa.log                                09-Mar-2011 15:53                 338
1239.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1239.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1239.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1243.cudf.caixa.error                              09-Mar-2011 15:53                 381
1243.cudf.caixa.log                                09-Mar-2011 15:53                 338
1243.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1243.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1243.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1262.cudf.caixa.error                              09-Mar-2011 15:53                 382
1262.cudf.caixa.log                                09-Mar-2011 15:53                 339
1262.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6889
1262.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1262.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1265.cudf.caixa.error                              09-Mar-2011 15:53                 381
1265.cudf.caixa.log                                09-Mar-2011 15:53                 338
1265.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6890
1265.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1265.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1300.cudf.caixa.error                              09-Mar-2011 15:53                 381
1300.cudf.caixa.log                                09-Mar-2011 15:53                 338
1300.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
1300.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1300.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
131.cudf.caixa.error                               09-Mar-2011 15:53                 382
131.cudf.caixa.log                                 09-Mar-2011 15:53                 339
131.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6886
131.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
131.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
132.cudf.caixa.error                               09-Mar-2011 15:53                 367
132.cudf.caixa.log                                 09-Mar-2011 15:53                 324
132.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8630
132.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
132.cudf.caixa.result.bz2                          09-Mar-2011 15:53              117977
1335.cudf.caixa.error                              09-Mar-2011 15:53                 381
1335.cudf.caixa.log                                09-Mar-2011 15:53                 338
1335.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6888
1335.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1335.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1336.cudf.caixa.error                              09-Mar-2011 15:53                 381
1336.cudf.caixa.log                                09-Mar-2011 15:53                 338
1336.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6898
1336.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1336.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1337.cudf.caixa.error                              09-Mar-2011 15:53                 381
1337.cudf.caixa.log                                09-Mar-2011 15:53                 338
1337.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
1337.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1337.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1362.cudf.caixa.error                              09-Mar-2011 15:53                 382
1362.cudf.caixa.log                                09-Mar-2011 15:53                 339
1362.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
1362.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1362.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1365.cudf.caixa.error                              09-Mar-2011 15:53                 367
1365.cudf.caixa.log                                09-Mar-2011 15:53                 324
1365.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8598
1365.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1365.cudf.caixa.result.bz2                         09-Mar-2011 15:53              118314
1366.cudf.caixa.error                              09-Mar-2011 15:53                 382
1366.cudf.caixa.log                                09-Mar-2011 15:53                 339
1366.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6895
1366.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1366.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1369.cudf.caixa.error                              09-Mar-2011 15:53                 382
1369.cudf.caixa.log                                09-Mar-2011 15:53                 339
1369.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6866
1369.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1369.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1378.cudf.caixa.error                              09-Mar-2011 15:53                 366
1378.cudf.caixa.log                                09-Mar-2011 15:53                 323
1378.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7771
1378.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1378.cudf.caixa.result.bz2                         09-Mar-2011 15:53              117579
140.cudf.caixa.error                               09-Mar-2011 15:53                 381
140.cudf.caixa.log                                 09-Mar-2011 15:53                 338
140.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6890
140.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
140.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1468.cudf.caixa.error                              09-Mar-2011 15:53                 366
1468.cudf.caixa.log                                09-Mar-2011 15:53                 323
1468.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7759
1468.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1468.cudf.caixa.result.bz2                         09-Mar-2011 15:53              117378
1481.cudf.caixa.error                              09-Mar-2011 15:53                 377
1481.cudf.caixa.log                                09-Mar-2011 15:53                 334
1481.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6018
1481.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1481.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
150.cudf.caixa.error                               09-Mar-2011 15:53                 382
150.cudf.caixa.log                                 09-Mar-2011 15:53                 339
150.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6862
150.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
150.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1596.cudf.caixa.error                              09-Mar-2011 15:53                 381
1596.cudf.caixa.log                                09-Mar-2011 15:53                 338
1596.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6896
1596.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1596.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1602.cudf.caixa.error                              09-Mar-2011 15:53                 382
1602.cudf.caixa.log                                09-Mar-2011 15:53                 339
1602.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
1602.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1602.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1617.cudf.caixa.error                              09-Mar-2011 15:53                 382
1617.cudf.caixa.log                                09-Mar-2011 15:53                 339
1617.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7732
1617.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1617.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1627.cudf.caixa.error                              09-Mar-2011 15:53                 379
1627.cudf.caixa.log                                09-Mar-2011 15:53                 336
1627.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6863
1627.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1627.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1641.cudf.caixa.error                              09-Mar-2011 15:53                 382
1641.cudf.caixa.log                                09-Mar-2011 15:53                 339
1641.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7733
1641.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1641.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1647.cudf.caixa.error                              09-Mar-2011 15:53                 370
1647.cudf.caixa.log                                09-Mar-2011 15:53                 327
1647.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9499
1647.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1647.cudf.caixa.result.bz2                         09-Mar-2011 15:53              137612
1651.cudf.caixa.error                              09-Mar-2011 15:53                 373
1651.cudf.caixa.log                                09-Mar-2011 15:53                 330
1651.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
1651.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1651.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1654.cudf.caixa.error                              09-Mar-2011 15:53                 359
1654.cudf.caixa.log                                09-Mar-2011 15:53                 316
1654.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6890
1654.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1654.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7341
1655.cudf.caixa.error                              09-Mar-2011 15:53                 367
1655.cudf.caixa.log                                09-Mar-2011 15:53                 324
1655.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6887
1655.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1655.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1657.cudf.caixa.error                              09-Mar-2011 15:53                 371
1657.cudf.caixa.log                                09-Mar-2011 15:53                 328
1657.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6016
1657.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1657.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
167.cudf.caixa.error                               09-Mar-2011 15:53                 381
167.cudf.caixa.log                                 09-Mar-2011 15:53                 338
167.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6887
167.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
167.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1670.cudf.caixa.error                              09-Mar-2011 15:53                 369
1670.cudf.caixa.log                                09-Mar-2011 15:53                 326
1670.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10342
1670.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
1670.cudf.caixa.result.bz2                         09-Mar-2011 15:53              118423
168.cudf.caixa.error                               09-Mar-2011 15:53                 381
168.cudf.caixa.log                                 09-Mar-2011 15:53                 338
168.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
168.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
168.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1682.cudf.caixa.error                              09-Mar-2011 15:53                 369
1682.cudf.caixa.log                                09-Mar-2011 15:53                 326
1682.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8546
1682.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1682.cudf.caixa.result.bz2                         09-Mar-2011 15:53              123988
1687.cudf.caixa.error                              09-Mar-2011 15:53                 359
1687.cudf.caixa.log                                09-Mar-2011 15:53                 316
1687.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6858
1687.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1687.cudf.caixa.result.bz2                         09-Mar-2011 15:53                6942
169.cudf.caixa.error                               09-Mar-2011 15:53                 381
169.cudf.caixa.log                                 09-Mar-2011 15:53                 338
169.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6889
169.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
169.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1691.cudf.caixa.error                              09-Mar-2011 15:53                 367
1691.cudf.caixa.log                                09-Mar-2011 15:53                 324
1691.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6805
1691.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1691.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
170.cudf.caixa.error                               09-Mar-2011 15:53                 381
170.cudf.caixa.log                                 09-Mar-2011 15:53                 338
170.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                4857
170.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
170.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1717.cudf.caixa.error                              09-Mar-2011 15:53                 367
1717.cudf.caixa.log                                09-Mar-2011 15:53                 324
1717.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6888
1717.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1717.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1719.cudf.caixa.error                              09-Mar-2011 15:53                 367
1719.cudf.caixa.log                                09-Mar-2011 15:53                 324
1719.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6812
1719.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
1719.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1720.cudf.caixa.error                              09-Mar-2011 15:53                 360
1720.cudf.caixa.log                                09-Mar-2011 15:53                 317
1720.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6887
1720.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
1720.cudf.caixa.result.bz2                         09-Mar-2011 15:53               10874
1722.cudf.caixa.error                              09-Mar-2011 15:53                 367
1722.cudf.caixa.log                                09-Mar-2011 15:53                 324
1722.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
1722.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1722.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
1723.cudf.caixa.error                              09-Mar-2011 15:53                 373
1723.cudf.caixa.log                                09-Mar-2011 15:53                 330
1723.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
1723.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
1723.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
173.cudf.caixa.error                               09-Mar-2011 15:53                 381
173.cudf.caixa.log                                 09-Mar-2011 15:53                 338
173.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6883
173.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
173.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
174.cudf.caixa.error                               09-Mar-2011 15:53                 381
174.cudf.caixa.log                                 09-Mar-2011 15:53                 338
174.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6895
174.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
174.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
176.cudf.caixa.error                               09-Mar-2011 15:53                 381
176.cudf.caixa.log                                 09-Mar-2011 15:53                 338
176.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
176.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
176.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
178.cudf.caixa.error                               09-Mar-2011 15:53                 381
178.cudf.caixa.log                                 09-Mar-2011 15:53                 338
178.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6886
178.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
178.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
19.cudf.caixa.error                                09-Mar-2011 15:53                 367
19.cudf.caixa.log                                  09-Mar-2011 15:53                 324
19.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                8622
19.cudf.caixa.log.time                             09-Mar-2011 15:53                 200
19.cudf.caixa.result.bz2                           09-Mar-2011 15:53              113856
195.cudf.caixa.error                               09-Mar-2011 15:53                 382
195.cudf.caixa.log                                 09-Mar-2011 15:53                 339
195.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6771
195.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
195.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               11045
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              159300
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 293
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 250
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               15651
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              152499
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 295
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 252
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               17211
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              151465
23.cudf.caixa.error                                09-Mar-2011 15:53                 382
23.cudf.caixa.log                                  09-Mar-2011 15:53                 339
23.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6795
23.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
23.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
25.cudf.caixa.error                                09-Mar-2011 15:53                 381
25.cudf.caixa.log                                  09-Mar-2011 15:53                 338
25.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6713
25.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
25.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13975
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              154297
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               14805
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              166845
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 295
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 252
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               16520
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              151628
30.cudf.caixa.error                                09-Mar-2011 15:53                 381
30.cudf.caixa.log                                  09-Mar-2011 15:53                 338
30.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6680
30.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
30.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
33.cudf.caixa.error                                09-Mar-2011 15:53                 381
33.cudf.caixa.log                                  09-Mar-2011 15:53                 338
33.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6532
33.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
33.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3343.cudf.caixa.error                              09-Mar-2011 15:53                 381
3343.cudf.caixa.log                                09-Mar-2011 15:53                 338
3343.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6801
3343.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3343.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3362.cudf.caixa.error                              09-Mar-2011 15:53                 382
3362.cudf.caixa.log                                09-Mar-2011 15:53                 339
3362.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7657
3362.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3362.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3363.cudf.caixa.error                              09-Mar-2011 15:53                 381
3363.cudf.caixa.log                                09-Mar-2011 15:53                 338
3363.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6721
3363.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3363.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3368.cudf.caixa.error                              09-Mar-2011 15:53                 381
3368.cudf.caixa.log                                09-Mar-2011 15:53                 338
3368.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6797
3368.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3368.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
36.cudf.caixa.error                                09-Mar-2011 15:53                 381
36.cudf.caixa.log                                  09-Mar-2011 15:53                 338
36.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6764
36.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
36.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3674.cudf.caixa.error                              09-Mar-2011 15:53                 367
3674.cudf.caixa.log                                09-Mar-2011 15:53                 324
3674.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6774
3674.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3674.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3825.cudf.caixa.error                              09-Mar-2011 15:53                 325
3825.cudf.caixa.log                                09-Mar-2011 15:53                 282
3825.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6764
3825.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3825.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7589
3826.cudf.caixa.error                              09-Mar-2011 15:53                 325
3826.cudf.caixa.log                                09-Mar-2011 15:53                 282
3826.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6766
3826.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3826.cudf.caixa.result.bz2                         09-Mar-2011 15:53                7589
3842.cudf.caixa.error                              09-Mar-2011 15:53                 367
3842.cudf.caixa.log                                09-Mar-2011 15:53                 324
3842.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6770
3842.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3842.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3846.cudf.caixa.error                              09-Mar-2011 15:53                 367
3846.cudf.caixa.log                                09-Mar-2011 15:53                 324
3846.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6762
3846.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3846.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3848.cudf.caixa.error                              09-Mar-2011 15:53                 367
3848.cudf.caixa.log                                09-Mar-2011 15:53                 324
3848.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6794
3848.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3848.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3851.cudf.caixa.error                              09-Mar-2011 15:53                 367
3851.cudf.caixa.log                                09-Mar-2011 15:53                 324
3851.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6793
3851.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3851.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3857.cudf.caixa.error                              09-Mar-2011 15:53                 367
3857.cudf.caixa.log                                09-Mar-2011 15:53                 324
3857.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6794
3857.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3857.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3863.cudf.caixa.error                              09-Mar-2011 15:53                 381
3863.cudf.caixa.log                                09-Mar-2011 15:53                 338
3863.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6800
3863.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3863.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3866.cudf.caixa.error                              09-Mar-2011 15:53                 366
3866.cudf.caixa.log                                09-Mar-2011 15:53                 323
3866.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7662
3866.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3866.cudf.caixa.result.bz2                         09-Mar-2011 15:53              147380
3867.cudf.caixa.error                              09-Mar-2011 15:53                 381
3867.cudf.caixa.log                                09-Mar-2011 15:53                 338
3867.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6799
3867.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3867.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3868.cudf.caixa.error                              09-Mar-2011 15:53                 381
3868.cudf.caixa.log                                09-Mar-2011 15:53                 338
3868.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6806
3868.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3868.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3869.cudf.caixa.error                              09-Mar-2011 15:53                 366
3869.cudf.caixa.log                                09-Mar-2011 15:53                 323
3869.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8477
3869.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3869.cudf.caixa.result.bz2                         09-Mar-2011 15:53              161467
3870.cudf.caixa.error                              09-Mar-2011 15:53                 366
3870.cudf.caixa.log                                09-Mar-2011 15:53                 323
3870.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8484
3870.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3870.cudf.caixa.result.bz2                         09-Mar-2011 15:53              161467
3871.cudf.caixa.error                              09-Mar-2011 15:53                 381
3871.cudf.caixa.log                                09-Mar-2011 15:53                 338
3871.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6684
3871.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3871.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3872.cudf.caixa.error                              09-Mar-2011 15:53                 381
3872.cudf.caixa.log                                09-Mar-2011 15:53                 338
3872.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6777
3872.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3872.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3873.cudf.caixa.error                              09-Mar-2011 15:53                 382
3873.cudf.caixa.log                                09-Mar-2011 15:53                 339
3873.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8411
3873.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3873.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3874.cudf.caixa.error                              09-Mar-2011 15:53                 382
3874.cudf.caixa.log                                09-Mar-2011 15:53                 339
3874.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7654
3874.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3874.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3875.cudf.caixa.error                              09-Mar-2011 15:53                 373
3875.cudf.caixa.log                                09-Mar-2011 15:53                 330
3875.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               11091
3875.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3875.cudf.caixa.result.bz2                         09-Mar-2011 15:53              206347
3876.cudf.caixa.error                              09-Mar-2011 15:53                 382
3876.cudf.caixa.log                                09-Mar-2011 15:53                 339
3876.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7624
3876.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3876.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3881.cudf.caixa.error                              09-Mar-2011 15:53                 366
3881.cudf.caixa.log                                09-Mar-2011 15:53                 323
3881.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7653
3881.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3881.cudf.caixa.result.bz2                         09-Mar-2011 15:53              116515
3884.cudf.caixa.error                              09-Mar-2011 15:53                 381
3884.cudf.caixa.log                                09-Mar-2011 15:53                 338
3884.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6801
3884.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3884.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3885.cudf.caixa.error                              09-Mar-2011 15:53                 381
3885.cudf.caixa.log                                09-Mar-2011 15:53                 338
3885.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
3885.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3885.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3887.cudf.caixa.error                              09-Mar-2011 15:53                 366
3887.cudf.caixa.log                                09-Mar-2011 15:53                 323
3887.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8505
3887.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3887.cudf.caixa.result.bz2                         09-Mar-2011 15:53              191867
3888.cudf.caixa.error                              09-Mar-2011 15:53                 366
3888.cudf.caixa.log                                09-Mar-2011 15:53                 323
3888.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8429
3888.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3888.cudf.caixa.result.bz2                         09-Mar-2011 15:53              191958
3889.cudf.caixa.error                              09-Mar-2011 15:53                 381
3889.cudf.caixa.log                                09-Mar-2011 15:53                 338
3889.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5947
3889.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3889.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3890.cudf.caixa.error                              09-Mar-2011 15:53                 366
3890.cudf.caixa.log                                09-Mar-2011 15:53                 323
3890.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8630
3890.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3890.cudf.caixa.result.bz2                         09-Mar-2011 15:53              191163
3891.cudf.caixa.error                              09-Mar-2011 15:53                 366
3891.cudf.caixa.log                                09-Mar-2011 15:53                 323
3891.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8642
3891.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3891.cudf.caixa.result.bz2                         09-Mar-2011 15:53              191163
3894.cudf.caixa.error                              09-Mar-2011 15:53                 381
3894.cudf.caixa.log                                09-Mar-2011 15:53                 338
3894.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6881
3894.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3894.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3896.cudf.caixa.error                              09-Mar-2011 15:53                 370
3896.cudf.caixa.log                                09-Mar-2011 15:53                 327
3896.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7750
3896.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3896.cudf.caixa.result.bz2                         09-Mar-2011 15:53              160900
3898.cudf.caixa.error                              09-Mar-2011 15:53                 370
3898.cudf.caixa.log                                09-Mar-2011 15:53                 327
3898.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7763
3898.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3898.cudf.caixa.result.bz2                         09-Mar-2011 15:53              160949
39.cudf.caixa.error                                09-Mar-2011 15:53                 381
39.cudf.caixa.log                                  09-Mar-2011 15:53                 338
39.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6884
39.cudf.caixa.log.time                             09-Mar-2011 15:53                 202
39.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
3906.cudf.caixa.error                              09-Mar-2011 15:53                 366
3906.cudf.caixa.log                                09-Mar-2011 15:53                 323
3906.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8616
3906.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3906.cudf.caixa.result.bz2                         09-Mar-2011 15:53              129013
3907.cudf.caixa.error                              09-Mar-2011 15:53                 366
3907.cudf.caixa.log                                09-Mar-2011 15:53                 323
3907.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8630
3907.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3907.cudf.caixa.result.bz2                         09-Mar-2011 15:53              127626
3908.cudf.caixa.error                              09-Mar-2011 15:53                 366
3908.cudf.caixa.log                                09-Mar-2011 15:53                 323
3908.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8596
3908.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3908.cudf.caixa.result.bz2                         09-Mar-2011 15:53              129013
3909.cudf.caixa.error                              09-Mar-2011 15:53                 366
3909.cudf.caixa.log                                09-Mar-2011 15:53                 323
3909.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8634
3909.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3909.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128989
3910.cudf.caixa.error                              09-Mar-2011 15:53                 366
3910.cudf.caixa.log                                09-Mar-2011 15:53                 323
3910.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8633
3910.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3910.cudf.caixa.result.bz2                         09-Mar-2011 15:53              128989
3911.cudf.caixa.error                              09-Mar-2011 15:53                 366
3911.cudf.caixa.log                                09-Mar-2011 15:53                 323
3911.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7731
3911.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3911.cudf.caixa.result.bz2                         09-Mar-2011 15:53              127626
3912.cudf.caixa.error                              09-Mar-2011 15:53                 366
3912.cudf.caixa.log                                09-Mar-2011 15:53                 323
3912.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8632
3912.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3912.cudf.caixa.result.bz2                         09-Mar-2011 15:53              129043
3913.cudf.caixa.error                              09-Mar-2011 15:53                 366
3913.cudf.caixa.log                                09-Mar-2011 15:53                 323
3913.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8632
3913.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
3913.cudf.caixa.result.bz2                         09-Mar-2011 15:53              129043
3915.cudf.caixa.error                              09-Mar-2011 15:53                 366
3915.cudf.caixa.log                                09-Mar-2011 15:53                 323
3915.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7765
3915.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3915.cudf.caixa.result.bz2                         09-Mar-2011 15:53              154222
3916.cudf.caixa.error                              09-Mar-2011 15:53                 366
3916.cudf.caixa.log                                09-Mar-2011 15:53                 323
3916.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7759
3916.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3916.cudf.caixa.result.bz2                         09-Mar-2011 15:53              154347
3919.cudf.caixa.error                              09-Mar-2011 15:53                 366
3919.cudf.caixa.log                                09-Mar-2011 15:53                 323
3919.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7759
3919.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
3919.cudf.caixa.result.bz2                         09-Mar-2011 15:53              133946
3921.cudf.caixa.error                              09-Mar-2011 15:53                 381
3921.cudf.caixa.log                                09-Mar-2011 15:53                 338
3921.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6868
3921.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3921.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3922.cudf.caixa.error                              09-Mar-2011 15:53                 381
3922.cudf.caixa.log                                09-Mar-2011 15:53                 338
3922.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6867
3922.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3922.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3923.cudf.caixa.error                              09-Mar-2011 15:53                 381
3923.cudf.caixa.log                                09-Mar-2011 15:53                 338
3923.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6887
3923.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3923.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3924.cudf.caixa.error                              09-Mar-2011 15:53                 381
3924.cudf.caixa.log                                09-Mar-2011 15:53                 338
3924.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6887
3924.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3924.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3925.cudf.caixa.error                              09-Mar-2011 15:53                 381
3925.cudf.caixa.log                                09-Mar-2011 15:53                 338
3925.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
3925.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3925.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3926.cudf.caixa.error                              09-Mar-2011 15:53                 381
3926.cudf.caixa.log                                09-Mar-2011 15:53                 338
3926.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6894
3926.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3926.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3929.cudf.caixa.error                              09-Mar-2011 15:53                 381
3929.cudf.caixa.log                                09-Mar-2011 15:53                 338
3929.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6885
3929.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3929.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3930.cudf.caixa.error                              09-Mar-2011 15:53                 381
3930.cudf.caixa.log                                09-Mar-2011 15:53                 338
3930.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6879
3930.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3930.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3931.cudf.caixa.error                              09-Mar-2011 15:53                 381
3931.cudf.caixa.log                                09-Mar-2011 15:53                 338
3931.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
3931.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3931.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3934.cudf.caixa.error                              09-Mar-2011 15:53                 381
3934.cudf.caixa.log                                09-Mar-2011 15:53                 338
3934.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6896
3934.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3934.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3936.cudf.caixa.error                              09-Mar-2011 15:53                 381
3936.cudf.caixa.log                                09-Mar-2011 15:53                 338
3936.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
3936.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3936.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3938.cudf.caixa.error                              09-Mar-2011 15:53                 382
3938.cudf.caixa.log                                09-Mar-2011 15:53                 339
3938.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
3938.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
3938.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3939.cudf.caixa.error                              09-Mar-2011 15:53                 382
3939.cudf.caixa.log                                09-Mar-2011 15:53                 339
3939.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6803
3939.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3939.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3940.cudf.caixa.error                              09-Mar-2011 15:53                 368
3940.cudf.caixa.log                                09-Mar-2011 15:53                 325
3940.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9527
3940.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
3940.cudf.caixa.result.bz2                         09-Mar-2011 15:53              155293
3941.cudf.caixa.error                              09-Mar-2011 15:53                 381
3941.cudf.caixa.log                                09-Mar-2011 15:53                 338
3941.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6775
3941.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3941.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3944.cudf.caixa.error                              09-Mar-2011 15:53                 381
3944.cudf.caixa.log                                09-Mar-2011 15:53                 338
3944.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6022
3944.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3944.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3946.cudf.caixa.error                              09-Mar-2011 15:53                 382
3946.cudf.caixa.log                                09-Mar-2011 15:53                 339
3946.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6807
3946.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3946.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3948.cudf.caixa.error                              09-Mar-2011 15:53                 382
3948.cudf.caixa.log                                09-Mar-2011 15:53                 339
3948.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6892
3948.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
3948.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3999.cudf.caixa.error                              09-Mar-2011 15:53                 379
3999.cudf.caixa.log                                09-Mar-2011 15:53                 336
3999.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6019
3999.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
3999.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 281
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 238
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53               13948
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 203
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                7195
40.cudf.caixa.error                                09-Mar-2011 15:53                 381
40.cudf.caixa.log                                  09-Mar-2011 15:53                 338
40.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                5939
40.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
40.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
4000.cudf.caixa.error                              09-Mar-2011 15:53                 381
4000.cudf.caixa.log                                09-Mar-2011 15:53                 338
4000.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4000.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4000.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4001.cudf.caixa.error                              09-Mar-2011 15:53                 370
4001.cudf.caixa.log                                09-Mar-2011 15:53                 327
4001.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8618
4001.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4001.cudf.caixa.result.bz2                         09-Mar-2011 15:53              164322
4002.cudf.caixa.error                              09-Mar-2011 15:53                 381
4002.cudf.caixa.log                                09-Mar-2011 15:53                 338
4002.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6813
4002.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4002.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4003.cudf.caixa.error                              09-Mar-2011 15:53                 381
4003.cudf.caixa.log                                09-Mar-2011 15:53                 338
4003.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4003.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4003.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4004.cudf.caixa.error                              09-Mar-2011 15:53                 366
4004.cudf.caixa.log                                09-Mar-2011 15:53                 323
4004.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8544
4004.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4004.cudf.caixa.result.bz2                         09-Mar-2011 15:53              192760
4006.cudf.caixa.error                              09-Mar-2011 15:53                 380
4006.cudf.caixa.log                                09-Mar-2011 15:53                 337
4006.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6889
4006.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4006.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4007.cudf.caixa.error                              09-Mar-2011 15:53                 380
4007.cudf.caixa.log                                09-Mar-2011 15:53                 337
4007.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6889
4007.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4007.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4008.cudf.caixa.error                              09-Mar-2011 15:53                 381
4008.cudf.caixa.log                                09-Mar-2011 15:53                 338
4008.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4008.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4008.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4009.cudf.caixa.error                              09-Mar-2011 15:53                 381
4009.cudf.caixa.log                                09-Mar-2011 15:53                 338
4009.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6020
4009.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4009.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4011.cudf.caixa.error                              09-Mar-2011 15:53                 381
4011.cudf.caixa.log                                09-Mar-2011 15:53                 338
4011.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6898
4011.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4011.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4012.cudf.caixa.error                              09-Mar-2011 15:53                 381
4012.cudf.caixa.log                                09-Mar-2011 15:53                 338
4012.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6891
4012.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4012.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4013.cudf.caixa.error                              09-Mar-2011 15:53                 381
4013.cudf.caixa.log                                09-Mar-2011 15:53                 338
4013.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
4013.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4013.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4015.cudf.caixa.error                              09-Mar-2011 15:53                 381
4015.cudf.caixa.log                                09-Mar-2011 15:53                 338
4015.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
4015.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4015.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4016.cudf.caixa.error                              09-Mar-2011 15:53                 381
4016.cudf.caixa.log                                09-Mar-2011 15:53                 338
4016.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6862
4016.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4016.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4017.cudf.caixa.error                              09-Mar-2011 15:53                 381
4017.cudf.caixa.log                                09-Mar-2011 15:53                 338
4017.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6897
4017.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4017.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4018.cudf.caixa.error                              09-Mar-2011 15:53                 381
4018.cudf.caixa.log                                09-Mar-2011 15:53                 338
4018.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6864
4018.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4018.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4019.cudf.caixa.error                              09-Mar-2011 15:53                 366
4019.cudf.caixa.log                                09-Mar-2011 15:53                 323
4019.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8600
4019.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4019.cudf.caixa.result.bz2                         09-Mar-2011 15:53              192693
4020.cudf.caixa.error                              09-Mar-2011 15:53                 381
4020.cudf.caixa.log                                09-Mar-2011 15:53                 338
4020.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
4020.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4020.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4021.cudf.caixa.error                              09-Mar-2011 15:53                 381
4021.cudf.caixa.log                                09-Mar-2011 15:53                 338
4021.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6891
4021.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4021.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4022.cudf.caixa.error                              09-Mar-2011 15:53                 366
4022.cudf.caixa.log                                09-Mar-2011 15:53                 323
4022.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9506
4022.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4022.cudf.caixa.result.bz2                         09-Mar-2011 15:53              195746
4023.cudf.caixa.error                              09-Mar-2011 15:53                 370
4023.cudf.caixa.log                                09-Mar-2011 15:53                 327
4023.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8627
4023.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4023.cudf.caixa.result.bz2                         09-Mar-2011 15:53              165968
4024.cudf.caixa.error                              09-Mar-2011 15:53                 382
4024.cudf.caixa.log                                09-Mar-2011 15:53                 339
4024.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6887
4024.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4024.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4025.cudf.caixa.error                              09-Mar-2011 15:53                 381
4025.cudf.caixa.log                                09-Mar-2011 15:53                 338
4025.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6864
4025.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4025.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4026.cudf.caixa.error                              09-Mar-2011 15:53                 382
4026.cudf.caixa.log                                09-Mar-2011 15:53                 339
4026.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6893
4026.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4026.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4027.cudf.caixa.error                              09-Mar-2011 15:53                 382
4027.cudf.caixa.log                                09-Mar-2011 15:53                 339
4027.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7760
4027.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4027.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4028.cudf.caixa.error                              09-Mar-2011 15:53                 372
4028.cudf.caixa.log                                09-Mar-2011 15:53                 329
4028.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10338
4028.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4028.cudf.caixa.result.bz2                         09-Mar-2011 15:53              185751
4029.cudf.caixa.error                              09-Mar-2011 15:53                 381
4029.cudf.caixa.log                                09-Mar-2011 15:53                 338
4029.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6776
4029.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4029.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4030.cudf.caixa.error                              09-Mar-2011 15:53                 381
4030.cudf.caixa.log                                09-Mar-2011 15:53                 338
4030.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6865
4030.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4030.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4031.cudf.caixa.error                              09-Mar-2011 15:53                 381
4031.cudf.caixa.log                                09-Mar-2011 15:53                 338
4031.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7748
4031.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4031.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4032.cudf.caixa.error                              09-Mar-2011 15:53                 381
4032.cudf.caixa.log                                09-Mar-2011 15:53                 338
4032.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7765
4032.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4032.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4033.cudf.caixa.error                              09-Mar-2011 15:53                 381
4033.cudf.caixa.log                                09-Mar-2011 15:53                 338
4033.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7682
4033.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4033.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4034.cudf.caixa.error                              09-Mar-2011 15:53                 381
4034.cudf.caixa.log                                09-Mar-2011 15:53                 338
4034.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6888
4034.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4034.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4035.cudf.caixa.error                              09-Mar-2011 15:53                 381
4035.cudf.caixa.log                                09-Mar-2011 15:53                 338
4035.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7641
4035.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4035.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4036.cudf.caixa.error                              09-Mar-2011 15:53                 382
4036.cudf.caixa.log                                09-Mar-2011 15:53                 339
4036.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6886
4036.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4036.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4037.cudf.caixa.error                              09-Mar-2011 15:53                 381
4037.cudf.caixa.log                                09-Mar-2011 15:53                 338
4037.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7680
4037.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4037.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4038.cudf.caixa.error                              09-Mar-2011 15:53                 366
4038.cudf.caixa.log                                09-Mar-2011 15:53                 323
4038.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               12123
4038.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4038.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169611
4039.cudf.caixa.error                              09-Mar-2011 15:53                 366
4039.cudf.caixa.log                                09-Mar-2011 15:53                 323
4039.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10372
4039.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4039.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4040.cudf.caixa.error                              09-Mar-2011 15:53                 366
4040.cudf.caixa.log                                09-Mar-2011 15:53                 323
4040.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               11249
4040.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4040.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169670
4041.cudf.caixa.error                              09-Mar-2011 15:53                 366
4041.cudf.caixa.log                                09-Mar-2011 15:53                 323
4041.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               11247
4041.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4041.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4042.cudf.caixa.error                              09-Mar-2011 15:53                 381
4042.cudf.caixa.log                                09-Mar-2011 15:53                 338
4042.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6885
4042.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4042.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4043.cudf.caixa.error                              09-Mar-2011 15:53                 366
4043.cudf.caixa.log                                09-Mar-2011 15:53                 323
4043.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10365
4043.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4043.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4044.cudf.caixa.error                              09-Mar-2011 15:53                 366
4044.cudf.caixa.log                                09-Mar-2011 15:53                 323
4044.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10915
4044.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4044.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169561
4045.cudf.caixa.error                              09-Mar-2011 15:53                 366
4045.cudf.caixa.log                                09-Mar-2011 15:53                 323
4045.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10921
4045.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4045.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4046.cudf.caixa.error                              09-Mar-2011 15:53                 366
4046.cudf.caixa.log                                09-Mar-2011 15:53                 323
4046.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10084
4046.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4046.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4047.cudf.caixa.error                              09-Mar-2011 15:53                 366
4047.cudf.caixa.log                                09-Mar-2011 15:53                 323
4047.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10217
4047.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4047.cudf.caixa.result.bz2                         09-Mar-2011 15:53              169668
4048.cudf.caixa.error                              09-Mar-2011 15:53                 381
4048.cudf.caixa.log                                09-Mar-2011 15:53                 338
4048.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7655
4048.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4048.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4049.cudf.caixa.error                              09-Mar-2011 15:53                 381
4049.cudf.caixa.log                                09-Mar-2011 15:53                 338
4049.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7658
4049.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4049.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4050.cudf.caixa.error                              09-Mar-2011 15:53                 382
4050.cudf.caixa.log                                09-Mar-2011 15:53                 339
4050.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6797
4050.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4050.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4051.cudf.caixa.error                              09-Mar-2011 15:53                 367
4051.cudf.caixa.log                                09-Mar-2011 15:53                 324
4051.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8493
4051.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4051.cudf.caixa.result.bz2                         09-Mar-2011 15:53              163860
4052.cudf.caixa.error                              09-Mar-2011 15:53                 381
4052.cudf.caixa.log                                09-Mar-2011 15:53                 338
4052.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7657
4052.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4052.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4054.cudf.caixa.error                              09-Mar-2011 15:53                 366
4054.cudf.caixa.log                                09-Mar-2011 15:53                 323
4054.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9362
4054.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4054.cudf.caixa.result.bz2                         09-Mar-2011 15:53              216748
4060.cudf.caixa.error                              09-Mar-2011 15:53                 366
4060.cudf.caixa.log                                09-Mar-2011 15:53                 323
4060.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                8504
4060.cudf.caixa.log.time                           09-Mar-2011 15:53                 202
4060.cudf.caixa.result.bz2                         09-Mar-2011 15:53              114848
4061.cudf.caixa.error                              09-Mar-2011 15:53                 381
4061.cudf.caixa.log                                09-Mar-2011 15:53                 338
4061.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7626
4061.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4061.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4062.cudf.caixa.error                              09-Mar-2011 15:53                 382
4062.cudf.caixa.log                                09-Mar-2011 15:53                 339
4062.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7650
4062.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4062.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4063.cudf.caixa.error                              09-Mar-2011 15:53                 381
4063.cudf.caixa.log                                09-Mar-2011 15:53                 338
4063.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
4063.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4063.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4064.cudf.caixa.error                              09-Mar-2011 15:53                 381
4064.cudf.caixa.log                                09-Mar-2011 15:53                 338
4064.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6799
4064.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4064.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4065.cudf.caixa.error                              09-Mar-2011 15:53                 382
4065.cudf.caixa.log                                09-Mar-2011 15:53                 339
4065.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6804
4065.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4065.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4066.cudf.caixa.error                              09-Mar-2011 15:53                 381
4066.cudf.caixa.log                                09-Mar-2011 15:53                 338
4066.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6802
4066.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4066.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4067.cudf.caixa.error                              09-Mar-2011 15:53                 367
4067.cudf.caixa.log                                09-Mar-2011 15:53                 324
4067.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10206
4067.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4067.cudf.caixa.result.bz2                         09-Mar-2011 15:53              182544
4068.cudf.caixa.error                              09-Mar-2011 15:53                 381
4068.cudf.caixa.log                                09-Mar-2011 15:53                 338
4068.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6808
4068.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4068.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4069.cudf.caixa.error                              09-Mar-2011 15:53                 381
4069.cudf.caixa.log                                09-Mar-2011 15:53                 338
4069.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6806
4069.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4069.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4070.cudf.caixa.error                              09-Mar-2011 15:53                 381
4070.cudf.caixa.log                                09-Mar-2011 15:53                 338
4070.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6803
4070.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4070.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4071.cudf.caixa.error                              09-Mar-2011 15:53                 382
4071.cudf.caixa.log                                09-Mar-2011 15:53                 339
4071.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6794
4071.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4071.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4074.cudf.caixa.error                              09-Mar-2011 15:53                 382
4074.cudf.caixa.log                                09-Mar-2011 15:53                 339
4074.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6791
4074.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4074.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4076.cudf.caixa.error                              09-Mar-2011 15:53                 382
4076.cudf.caixa.log                                09-Mar-2011 15:53                 339
4076.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7632
4076.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4076.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4077.cudf.caixa.error                              09-Mar-2011 15:53                 372
4077.cudf.caixa.log                                09-Mar-2011 15:53                 329
4077.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7653
4077.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4077.cudf.caixa.result.bz2                         09-Mar-2011 15:53               92239
4078.cudf.caixa.error                              09-Mar-2011 15:53                 381
4078.cudf.caixa.log                                09-Mar-2011 15:53                 338
4078.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6763
4078.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4078.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4079.cudf.caixa.error                              09-Mar-2011 15:53                 381
4079.cudf.caixa.log                                09-Mar-2011 15:53                 338
4079.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                5944
4079.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4079.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4080.cudf.caixa.error                              09-Mar-2011 15:53                 381
4080.cudf.caixa.log                                09-Mar-2011 15:53                 338
4080.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6767
4080.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4080.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4082.cudf.caixa.error                              09-Mar-2011 15:53                 382
4082.cudf.caixa.log                                09-Mar-2011 15:53                 339
4082.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7628
4082.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4082.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4083.cudf.caixa.error                              09-Mar-2011 15:53                 382
4083.cudf.caixa.log                                09-Mar-2011 15:53                 339
4083.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7656
4083.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4083.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4084.cudf.caixa.error                              09-Mar-2011 15:53                 381
4084.cudf.caixa.log                                09-Mar-2011 15:53                 338
4084.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6798
4084.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4084.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4085.cudf.caixa.error                              09-Mar-2011 15:53                 382
4085.cudf.caixa.log                                09-Mar-2011 15:53                 339
4085.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6796
4085.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4085.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4086.cudf.caixa.error                              09-Mar-2011 15:53                 382
4086.cudf.caixa.log                                09-Mar-2011 15:53                 339
4086.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6798
4086.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4086.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4087.cudf.caixa.error                              09-Mar-2011 15:53                 382
4087.cudf.caixa.log                                09-Mar-2011 15:53                 339
4087.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6875
4087.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4087.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4088.cudf.caixa.error                              09-Mar-2011 15:53                 382
4088.cudf.caixa.log                                09-Mar-2011 15:53                 339
4088.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6882
4088.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4088.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4089.cudf.caixa.error                              09-Mar-2011 15:53                 373
4089.cudf.caixa.log                                09-Mar-2011 15:53                 330
4089.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7718
4089.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4089.cudf.caixa.result.bz2                         09-Mar-2011 15:53               86416
4090.cudf.caixa.error                              09-Mar-2011 15:53                 382
4090.cudf.caixa.log                                09-Mar-2011 15:53                 339
4090.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7731
4090.cudf.caixa.log.time                           09-Mar-2011 15:53                 205
4090.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4091.cudf.caixa.error                              09-Mar-2011 15:53                 382
4091.cudf.caixa.log                                09-Mar-2011 15:53                 339
4091.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7735
4091.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4091.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4092.cudf.caixa.abort                              09-Mar-2011 15:53                  49
4092.cudf.caixa.log                                09-Mar-2011 15:53                   0
4092.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7765
4092.cudf.caixa.log.time                           09-Mar-2011 15:53                 208
4110.cudf.caixa.error                              09-Mar-2011 15:53                 382
4110.cudf.caixa.log                                09-Mar-2011 15:53                 339
4110.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7763
4110.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4110.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4113.cudf.caixa.error                              09-Mar-2011 15:53                 368
4113.cudf.caixa.log                                09-Mar-2011 15:53                 325
4113.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10369
4113.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4113.cudf.caixa.result.bz2                         09-Mar-2011 15:53              220590
4114.cudf.caixa.error                              09-Mar-2011 15:53                 368
4114.cudf.caixa.log                                09-Mar-2011 15:53                 325
4114.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                9470
4114.cudf.caixa.log.time                           09-Mar-2011 15:53                 201
4114.cudf.caixa.result.bz2                         09-Mar-2011 15:53              220355
4115.cudf.caixa.error                              09-Mar-2011 15:53                 368
4115.cudf.caixa.log                                09-Mar-2011 15:53                 325
4115.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               10257
4115.cudf.caixa.log.time                           09-Mar-2011 15:53                 203
4115.cudf.caixa.result.bz2                         09-Mar-2011 15:53              220590
4116.cudf.caixa.error                              09-Mar-2011 15:53                 382
4116.cudf.caixa.log                                09-Mar-2011 15:53                 339
4116.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                7759
4116.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4116.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4117.cudf.caixa.error                              09-Mar-2011 15:53                 367
4117.cudf.caixa.log                                09-Mar-2011 15:53                 324
4117.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               12103
4117.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4117.cudf.caixa.result.bz2                         09-Mar-2011 15:53              220271
4119.cudf.caixa.error                              09-Mar-2011 15:53                 367
4119.cudf.caixa.log                                09-Mar-2011 15:53                 324
4119.cudf.caixa.log.runsolver                      09-Mar-2011 15:53               11242
4119.cudf.caixa.log.time                           09-Mar-2011 15:53                 204
4119.cudf.caixa.result.bz2                         09-Mar-2011 15:53              189706
4121.cudf.caixa.error                              09-Mar-2011 15:53                 382
4121.cudf.caixa.log                                09-Mar-2011 15:53                 339
4121.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6883
4121.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4121.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4122.cudf.caixa.error                              09-Mar-2011 15:53                 381
4122.cudf.caixa.log                                09-Mar-2011 15:53                 338
4122.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6884
4122.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4122.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
4123.cudf.caixa.error                              09-Mar-2011 15:53                 381
4123.cudf.caixa.log                                09-Mar-2011 15:53                 338
4123.cudf.caixa.log.runsolver                      09-Mar-2011 15:53                6877
4123.cudf.caixa.log.time                           09-Mar-2011 15:53                 206
4123.cudf.caixa.result.bz2                         09-Mar-2011 15:53                  65
42.cudf.caixa.error                                09-Mar-2011 15:53                 381
42.cudf.caixa.log                                  09-Mar-2011 15:53                 338
42.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6857
42.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
42.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
43.cudf.caixa.error                                09-Mar-2011 15:53                 381
43.cudf.caixa.log                                  09-Mar-2011 15:53                 338
43.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6854
43.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
43.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
44.cudf.caixa.error                                09-Mar-2011 15:53                 381
44.cudf.caixa.log                                  09-Mar-2011 15:53                 338
44.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                5987
44.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
44.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
46.cudf.caixa.error                                09-Mar-2011 15:53                 381
46.cudf.caixa.log                                  09-Mar-2011 15:53                 338
46.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6859
46.cudf.caixa.log.time                             09-Mar-2011 15:53                 205
46.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
47.cudf.caixa.error                                09-Mar-2011 15:53                 381
47.cudf.caixa.log                                  09-Mar-2011 15:53                 338
47.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6856
47.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
47.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               14862
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              167577
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13114
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              154297
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 291
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 248
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               10479
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               88411
519.cudf.caixa.error                               09-Mar-2011 15:53                 381
519.cudf.caixa.log                                 09-Mar-2011 15:53                 338
519.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6862
519.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
519.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
520.cudf.caixa.error                               09-Mar-2011 15:53                 381
520.cudf.caixa.log                                 09-Mar-2011 15:53                 338
520.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
520.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
520.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
521.cudf.caixa.error                               09-Mar-2011 15:53                 381
521.cudf.caixa.log                                 09-Mar-2011 15:53                 338
521.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6884
521.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
521.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
522.cudf.caixa.error                               09-Mar-2011 15:53                 381
522.cudf.caixa.log                                 09-Mar-2011 15:53                 338
522.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7785
522.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
522.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
534.cudf.caixa.error                               09-Mar-2011 15:53                 382
534.cudf.caixa.log                                 09-Mar-2011 15:53                 339
534.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
534.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
534.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
536.cudf.caixa.error                               09-Mar-2011 15:53                 382
536.cudf.caixa.log                                 09-Mar-2011 15:53                 339
536.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6890
536.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
536.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
538.cudf.caixa.error                               09-Mar-2011 15:53                 382
538.cudf.caixa.log                                 09-Mar-2011 15:53                 339
538.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6810
538.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
538.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
550.cudf.caixa.error                               09-Mar-2011 15:53                 366
550.cudf.caixa.log                                 09-Mar-2011 15:53                 323
550.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7755
550.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
550.cudf.caixa.result.bz2                          09-Mar-2011 15:53               96774
555.cudf.caixa.error                               09-Mar-2011 15:53                 381
555.cudf.caixa.log                                 09-Mar-2011 15:53                 338
555.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6864
555.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
555.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
556.cudf.caixa.error                               09-Mar-2011 15:53                 366
556.cudf.caixa.log                                 09-Mar-2011 15:53                 323
556.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8632
556.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
556.cudf.caixa.result.bz2                          09-Mar-2011 15:53               96898
557.cudf.caixa.error                               09-Mar-2011 15:53                 381
557.cudf.caixa.log                                 09-Mar-2011 15:53                 338
557.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6808
557.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
557.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
558.cudf.caixa.error                               09-Mar-2011 15:53                 366
558.cudf.caixa.log                                 09-Mar-2011 15:53                 323
558.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8598
558.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
558.cudf.caixa.result.bz2                          09-Mar-2011 15:53               96774
559.cudf.caixa.error                               09-Mar-2011 15:53                 381
559.cudf.caixa.log                                 09-Mar-2011 15:53                 338
559.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6805
559.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
559.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               14746
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              167577
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 281
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 238
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53               14847
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:53                9745
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 291
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 248
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12062
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               88411
571.cudf.caixa.error                               09-Mar-2011 15:53                 381
571.cudf.caixa.log                                 09-Mar-2011 15:53                 338
571.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6887
571.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
571.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
579.cudf.caixa.error                               09-Mar-2011 15:53                 381
579.cudf.caixa.log                                 09-Mar-2011 15:53                 338
579.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6859
579.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
579.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
58.cudf.caixa.error                                09-Mar-2011 15:53                 381
58.cudf.caixa.log                                  09-Mar-2011 15:53                 338
58.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6888
58.cudf.caixa.log.time                             09-Mar-2011 15:53                 204
58.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
581.cudf.caixa.error                               09-Mar-2011 15:53                 381
581.cudf.caixa.log                                 09-Mar-2011 15:53                 338
581.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6888
581.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
581.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
582.cudf.caixa.error                               09-Mar-2011 15:53                 381
582.cudf.caixa.log                                 09-Mar-2011 15:53                 338
582.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
582.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
582.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
584.cudf.caixa.error                               09-Mar-2011 15:53                 381
584.cudf.caixa.log                                 09-Mar-2011 15:53                 338
584.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6889
584.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
584.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
589.cudf.caixa.error                               09-Mar-2011 15:53                 381
589.cudf.caixa.log                                 09-Mar-2011 15:53                 338
589.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
589.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
589.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 281
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 238
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               12036
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               19213
590.cudf.caixa.error                               09-Mar-2011 15:53                 381
590.cudf.caixa.log                                 09-Mar-2011 15:53                 338
590.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6808
590.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
590.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
591.cudf.caixa.error                               09-Mar-2011 15:53                 381
591.cudf.caixa.log                                 09-Mar-2011 15:53                 338
591.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6867
591.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
591.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
593.cudf.caixa.error                               09-Mar-2011 15:53                 381
593.cudf.caixa.log                                 09-Mar-2011 15:53                 338
593.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6887
593.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
593.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
597.cudf.caixa.error                               09-Mar-2011 15:53                 381
597.cudf.caixa.log                                 09-Mar-2011 15:53                 338
597.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6804
597.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
597.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
63.cudf.caixa.error                                09-Mar-2011 15:53                 382
63.cudf.caixa.log                                  09-Mar-2011 15:53                 339
63.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6891
63.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
63.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
634.cudf.caixa.error                               09-Mar-2011 15:53                 382
634.cudf.caixa.log                                 09-Mar-2011 15:53                 339
634.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6891
634.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
634.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
642.cudf.caixa.error                               09-Mar-2011 15:53                 381
642.cudf.caixa.log                                 09-Mar-2011 15:53                 338
642.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
642.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
642.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
643.cudf.caixa.error                               09-Mar-2011 15:53                 367
643.cudf.caixa.log                                 09-Mar-2011 15:53                 324
643.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6892
643.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
643.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
645.cudf.caixa.error                               09-Mar-2011 15:53                 367
645.cudf.caixa.log                                 09-Mar-2011 15:53                 324
645.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6888
645.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
645.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
65.cudf.caixa.error                                09-Mar-2011 15:53                 382
65.cudf.caixa.log                                  09-Mar-2011 15:53                 339
65.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6886
65.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
65.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
650.cudf.caixa.error                               09-Mar-2011 15:53                 366
650.cudf.caixa.log                                 09-Mar-2011 15:53                 323
650.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7675
650.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
650.cudf.caixa.result.bz2                          09-Mar-2011 15:53              107902
654.cudf.caixa.error                               09-Mar-2011 15:53                 366
654.cudf.caixa.log                                 09-Mar-2011 15:53                 323
654.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7749
654.cudf.caixa.log.time                            09-Mar-2011 15:53                 201
654.cudf.caixa.result.bz2                          09-Mar-2011 15:53              107881
657.cudf.caixa.error                               09-Mar-2011 15:53                 381
657.cudf.caixa.log                                 09-Mar-2011 15:53                 338
657.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6880
657.cudf.caixa.log.time                            09-Mar-2011 15:53                 200
657.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
658.cudf.caixa.error                               09-Mar-2011 15:53                 373
658.cudf.caixa.log                                 09-Mar-2011 15:53                 330
658.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6898
658.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
658.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
66.cudf.caixa.error                                09-Mar-2011 15:53                 367
66.cudf.caixa.log                                  09-Mar-2011 15:53                 324
66.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                8621
66.cudf.caixa.log.time                             09-Mar-2011 15:53                 203
66.cudf.caixa.result.bz2                           09-Mar-2011 15:53              113644
672.cudf.caixa.error                               09-Mar-2011 15:53                 382
672.cudf.caixa.log                                 09-Mar-2011 15:53                 339
672.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6886
672.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
672.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 293
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 250
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               15551
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              152496
690.cudf.caixa.error                               09-Mar-2011 15:53                 366
690.cudf.caixa.log                                 09-Mar-2011 15:53                 323
690.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6885
690.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
690.cudf.caixa.result.bz2                          09-Mar-2011 15:53              109167
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               15430
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              167504
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 293
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 250
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               15761
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              152099
74.cudf.caixa.error                                09-Mar-2011 15:53                 381
74.cudf.caixa.log                                  09-Mar-2011 15:53                 338
74.cudf.caixa.log.runsolver                        09-Mar-2011 15:53                6876
74.cudf.caixa.log.time                             09-Mar-2011 15:53                 206
74.cudf.caixa.result.bz2                           09-Mar-2011 15:53                  65
745.cudf.caixa.error                               09-Mar-2011 15:53                 382
745.cudf.caixa.log                                 09-Mar-2011 15:53                 339
745.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6891
745.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
745.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
770.cudf.caixa.error                               09-Mar-2011 15:53                 367
770.cudf.caixa.log                                 09-Mar-2011 15:53                 324
770.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6687
770.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
770.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
775.cudf.caixa.error                               09-Mar-2011 15:53                 367
775.cudf.caixa.log                                 09-Mar-2011 15:53                 324
775.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6888
775.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
775.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
778.cudf.caixa.error                               09-Mar-2011 15:53                 367
778.cudf.caixa.log                                 09-Mar-2011 15:53                 324
778.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6094
778.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
778.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
779.cudf.caixa.error                               09-Mar-2011 15:53                 382
779.cudf.caixa.log                                 09-Mar-2011 15:53                 339
779.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6896
779.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
779.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
781.cudf.caixa.error                               09-Mar-2011 15:53                 367
781.cudf.caixa.log                                 09-Mar-2011 15:53                 324
781.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6889
781.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
781.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
787.cudf.caixa.error                               09-Mar-2011 15:53                 356
787.cudf.caixa.log                                 09-Mar-2011 15:53                 313
787.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6021
787.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
787.cudf.caixa.result.bz2                          09-Mar-2011 15:53                3308
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 281
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 238
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               12254
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               19213
801.cudf.caixa.error                               09-Mar-2011 15:53                 381
801.cudf.caixa.log                                 09-Mar-2011 15:53                 338
801.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6893
801.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
801.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
808.cudf.caixa.error                               09-Mar-2011 15:53                 381
808.cudf.caixa.log                                 09-Mar-2011 15:53                 338
808.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6855
808.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
808.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
809.cudf.caixa.error                               09-Mar-2011 15:53                 381
809.cudf.caixa.log                                 09-Mar-2011 15:53                 338
809.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6883
809.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
809.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
811.cudf.caixa.error                               09-Mar-2011 15:53                 381
811.cudf.caixa.log                                 09-Mar-2011 15:53                 338
811.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6890
811.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
811.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
812.cudf.caixa.error                               09-Mar-2011 15:53                 381
812.cudf.caixa.log                                 09-Mar-2011 15:53                 338
812.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6886
812.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
812.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
813.cudf.caixa.error                               09-Mar-2011 15:53                 381
813.cudf.caixa.log                                 09-Mar-2011 15:53                 338
813.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6890
813.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
813.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
814.cudf.caixa.error                               09-Mar-2011 15:53                 381
814.cudf.caixa.log                                 09-Mar-2011 15:53                 338
814.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6889
814.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
814.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
815.cudf.caixa.error                               09-Mar-2011 15:53                 382
815.cudf.caixa.log                                 09-Mar-2011 15:53                 339
815.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7754
815.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
815.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
816.cudf.caixa.error                               09-Mar-2011 15:53                 368
816.cudf.caixa.log                                 09-Mar-2011 15:53                 325
816.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                9470
816.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
816.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123080
817.cudf.caixa.error                               09-Mar-2011 15:53                 367
817.cudf.caixa.log                                 09-Mar-2011 15:53                 324
817.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6705
817.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
817.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
818.cudf.caixa.error                               09-Mar-2011 15:53                 368
818.cudf.caixa.log                                 09-Mar-2011 15:53                 325
818.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                8388
818.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
818.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123080
819.cudf.caixa.error                               09-Mar-2011 15:53                 381
819.cudf.caixa.log                                 09-Mar-2011 15:53                 338
819.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6804
819.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
819.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
820.cudf.caixa.error                               09-Mar-2011 15:53                 382
820.cudf.caixa.log                                 09-Mar-2011 15:53                 339
820.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6775
820.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
820.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
821.cudf.caixa.error                               09-Mar-2011 15:53                 382
821.cudf.caixa.log                                 09-Mar-2011 15:53                 339
821.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6800
821.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
821.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
822.cudf.caixa.error                               09-Mar-2011 15:53                 382
822.cudf.caixa.log                                 09-Mar-2011 15:53                 339
822.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6797
822.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
822.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
832.cudf.caixa.error                               09-Mar-2011 15:53                 382
832.cudf.caixa.log                                 09-Mar-2011 15:53                 339
832.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6763
832.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
832.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
837.cudf.caixa.error                               09-Mar-2011 15:53                 382
837.cudf.caixa.log                                 09-Mar-2011 15:53                 339
837.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6689
837.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
837.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
841.cudf.caixa.error                               09-Mar-2011 15:53                 382
841.cudf.caixa.log                                 09-Mar-2011 15:53                 339
841.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6803
841.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
841.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
843.cudf.caixa.error                               09-Mar-2011 15:53                 382
843.cudf.caixa.log                                 09-Mar-2011 15:53                 339
843.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6794
843.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
843.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
847.cudf.caixa.error                               09-Mar-2011 15:53                 382
847.cudf.caixa.log                                 09-Mar-2011 15:53                 339
847.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6794
847.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
847.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
855.cudf.caixa.error                               09-Mar-2011 15:53                 382
855.cudf.caixa.log                                 09-Mar-2011 15:53                 339
855.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6801
855.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
855.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
856.cudf.caixa.error                               09-Mar-2011 15:53                 382
856.cudf.caixa.log                                 09-Mar-2011 15:53                 339
856.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6799
856.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
856.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
858.cudf.caixa.error                               09-Mar-2011 15:53                 382
858.cudf.caixa.log                                 09-Mar-2011 15:53                 339
858.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7568
858.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
858.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
868.cudf.caixa.error                               09-Mar-2011 15:53                 367
868.cudf.caixa.log                                 09-Mar-2011 15:53                 324
868.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6797
868.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
868.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
869.cudf.caixa.error                               09-Mar-2011 15:53                 373
869.cudf.caixa.log                                 09-Mar-2011 15:53                 330
869.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                5943
869.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
869.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
873.cudf.caixa.error                               09-Mar-2011 15:53                 381
873.cudf.caixa.log                                 09-Mar-2011 15:53                 338
873.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6796
873.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
873.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 293
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 250
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               16639
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              152099
902.cudf.caixa.error                               09-Mar-2011 15:53                 361
902.cudf.caixa.log                                 09-Mar-2011 15:53                 318
902.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6801
902.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
902.cudf.caixa.result.bz2                          09-Mar-2011 15:53               19397
933.cudf.caixa.error                               09-Mar-2011 15:53                 368
933.cudf.caixa.log                                 09-Mar-2011 15:53                 325
933.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                9372
933.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
933.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123352
937.cudf.caixa.error                               09-Mar-2011 15:53                 381
937.cudf.caixa.log                                 09-Mar-2011 15:53                 338
937.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6798
937.cudf.caixa.log.time                            09-Mar-2011 15:53                 205
937.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
944.cudf.caixa.error                               09-Mar-2011 15:53                 368
944.cudf.caixa.log                                 09-Mar-2011 15:53                 325
944.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                9367
944.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
944.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123350
947.cudf.caixa.error                               09-Mar-2011 15:53                 368
947.cudf.caixa.log                                 09-Mar-2011 15:53                 325
947.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                9329
947.cudf.caixa.log.time                            09-Mar-2011 15:53                 204
947.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123350
948.cudf.caixa.error                               09-Mar-2011 15:53                 368
948.cudf.caixa.log                                 09-Mar-2011 15:53                 325
948.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7622
948.cudf.caixa.log.time                            09-Mar-2011 15:53                 202
948.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123583
950.cudf.caixa.error                               09-Mar-2011 15:53                 382
950.cudf.caixa.log                                 09-Mar-2011 15:53                 339
950.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7564
950.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
950.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
951.cudf.caixa.error                               09-Mar-2011 15:53                 368
951.cudf.caixa.log                                 09-Mar-2011 15:53                 325
951.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7655
951.cudf.caixa.log.time                            09-Mar-2011 15:53                 203
951.cudf.caixa.result.bz2                          09-Mar-2011 15:53              123500
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               15722
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              167504
990.cudf.caixa.error                               09-Mar-2011 15:53                 361
990.cudf.caixa.log                                 09-Mar-2011 15:53                 318
990.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                7680
990.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
990.cudf.caixa.result.bz2                          09-Mar-2011 15:53               19194
991.cudf.caixa.error                               09-Mar-2011 15:53                 367
991.cudf.caixa.log                                 09-Mar-2011 15:53                 324
991.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6766
991.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
991.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
992.cudf.caixa.error                               09-Mar-2011 15:53                 367
992.cudf.caixa.log                                 09-Mar-2011 15:53                 324
992.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6764
992.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
992.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
993.cudf.caixa.error                               09-Mar-2011 15:53                 367
993.cudf.caixa.log                                 09-Mar-2011 15:53                 324
993.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                5911
993.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
993.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
995.cudf.caixa.error                               09-Mar-2011 15:53                 371
995.cudf.caixa.log                                 09-Mar-2011 15:53                 328
995.cudf.caixa.log.runsolver                       09-Mar-2011 15:53                6773
995.cudf.caixa.log.time                            09-Mar-2011 15:53                 206
995.cudf.caixa.result.bz2                          09-Mar-2011 15:53                  65
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 295
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 252
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               16633
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              151465
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 292
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 249
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               14885
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 203
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              167577
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13970
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              154297
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               12920
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 204
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              154297
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 292
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 249
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53               13747
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53                 201
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:53              172577
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 295
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 252
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53               11979
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53                 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:53              151465
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 290
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 247
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53               13980
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53                 202
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:53              159300
rand102.cudf.heavy.abort                           09-Mar-2011 15:53                  69
rand102.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand102.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                6561
rand102.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand102.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand133.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand133.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand133.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7629
rand133.cudf.heavy.log.time                        09-Mar-2011 15:53                 203
rand133.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand151.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand151.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand151.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7629
rand151.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand151.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand171.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand171.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand171.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                5655
rand171.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand171.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand190.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand190.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand190.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                5716
rand190.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand190.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand239.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand239.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand239.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7621
rand239.cudf.heavy.log.time                        09-Mar-2011 15:53                 204
rand239.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand327.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand327.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand327.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7736
rand327.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand327.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand384.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand384.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand384.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7725
rand384.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand384.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand4.cudf.heavy.abort                             09-Mar-2011 15:53                  49
rand4.cudf.heavy.log                               09-Mar-2011 15:53                   0
rand4.cudf.heavy.log.runsolver                     09-Mar-2011 15:53                5777
rand4.cudf.heavy.log.time                          09-Mar-2011 15:53                 205
rand4.cudf.heavy.result.bz2                        09-Mar-2011 15:53                  14
rand469.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand469.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand469.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7735
rand469.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand469.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand565.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand565.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand565.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7737
rand565.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand565.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand601.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand601.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand601.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7736
rand601.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand601.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand614.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand614.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand614.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7735
rand614.cudf.heavy.log.time                        09-Mar-2011 15:53                 204
rand614.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand64.cudf.heavy.abort                            09-Mar-2011 15:53                  49
rand64.cudf.heavy.log                              09-Mar-2011 15:53                   0
rand64.cudf.heavy.log.runsolver                    09-Mar-2011 15:53                7729
rand64.cudf.heavy.log.time                         09-Mar-2011 15:53                 205
rand64.cudf.heavy.result.bz2                       09-Mar-2011 15:53                  14
rand67.cudf.heavy.abort                            09-Mar-2011 15:53                  49
rand67.cudf.heavy.log                              09-Mar-2011 15:53                   0
rand67.cudf.heavy.log.runsolver                    09-Mar-2011 15:53                7729
rand67.cudf.heavy.log.time                         09-Mar-2011 15:53                 205
rand67.cudf.heavy.result.bz2                       09-Mar-2011 15:53                  14
rand91.cudf.heavy.abort                            09-Mar-2011 15:53                  49
rand91.cudf.heavy.log                              09-Mar-2011 15:53                   0
rand91.cudf.heavy.log.runsolver                    09-Mar-2011 15:53                8594
rand91.cudf.heavy.log.time                         09-Mar-2011 15:53                 205
rand91.cudf.heavy.result.bz2                       09-Mar-2011 15:53                  14
rand948.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand948.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand948.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7701
rand948.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand948.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand952.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand952.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand952.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7730
rand952.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand952.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand957.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand957.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand957.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7699
rand957.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand957.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand967.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand967.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand967.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7729
rand967.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand967.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14
rand992.cudf.heavy.abort                           09-Mar-2011 15:53                  49
rand992.cudf.heavy.log                             09-Mar-2011 15:53                   0
rand992.cudf.heavy.log.runsolver                   09-Mar-2011 15:53                7738
rand992.cudf.heavy.log.time                        09-Mar-2011 15:53                 205
rand992.cudf.heavy.result.bz2                      09-Mar-2011 15:53                  14