Index of /misc-live/20110225/solutions/trendy/apt-pbo-trendy-1.0.8/


../
1.cudf.caixa.abort                                 09-Mar-2011 15:51                 464
1.cudf.caixa.log                                   09-Mar-2011 15:52                  65
1.cudf.caixa.log.runsolver                         09-Mar-2011 15:52               12370
1.cudf.caixa.log.time                              09-Mar-2011 15:52                 204
1016.cudf.caixa.abort                              09-Mar-2011 15:51                 448
1016.cudf.caixa.log                                09-Mar-2011 15:51                  65
1016.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13000
1016.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1018.cudf.caixa.abort                              09-Mar-2011 15:51                 429
1018.cudf.caixa.log                                09-Mar-2011 15:52                  65
1018.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10650
1018.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1021.cudf.caixa.abort                              09-Mar-2011 15:52                 416
1021.cudf.caixa.log                                09-Mar-2011 15:51                  65
1021.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13209
1021.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
103.cudf.caixa.abort                               09-Mar-2011 15:51                 413
103.cudf.caixa.log                                 09-Mar-2011 15:51                  65
103.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13395
103.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
1034.cudf.caixa.abort                              09-Mar-2011 15:51                 441
1034.cudf.caixa.log                                09-Mar-2011 15:51                  65
1034.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12527
1034.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1037.cudf.caixa.abort                              09-Mar-2011 15:51                 416
1037.cudf.caixa.log                                09-Mar-2011 15:51                  65
1037.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10812
1037.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1041.cudf.caixa.abort                              09-Mar-2011 15:51                 438
1041.cudf.caixa.log                                09-Mar-2011 15:51                  65
1041.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10812
1041.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1047.cudf.caixa.abort                              09-Mar-2011 15:51                 462
1047.cudf.caixa.log                                09-Mar-2011 15:51                  65
1047.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13042
1047.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1066.cudf.caixa.abort                              09-Mar-2011 15:51                 438
1066.cudf.caixa.log                                09-Mar-2011 15:51                  65
1066.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13771
1066.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1067.cudf.caixa.abort                              09-Mar-2011 15:52                 439
1067.cudf.caixa.log                                09-Mar-2011 15:51                  65
1067.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12213
1067.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1068.cudf.caixa.abort                              09-Mar-2011 15:52                 462
1068.cudf.caixa.log                                09-Mar-2011 15:51                  65
1068.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11496
1068.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1075.cudf.caixa.abort                              09-Mar-2011 15:52                 439
1075.cudf.caixa.log                                09-Mar-2011 15:52                  65
1075.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12014
1075.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1077.cudf.caixa.abort                              09-Mar-2011 15:51                 414
1077.cudf.caixa.log                                09-Mar-2011 15:51                  65
1077.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11999
1077.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1078.cudf.caixa.abort                              09-Mar-2011 15:51                 628
1078.cudf.caixa.log                                09-Mar-2011 15:51                  65
1078.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12223
1078.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1082.cudf.caixa.abort                              09-Mar-2011 15:52                 437
1082.cudf.caixa.log                                09-Mar-2011 15:51                  65
1082.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12937
1082.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1084.cudf.caixa.abort                              09-Mar-2011 15:51                 415
1084.cudf.caixa.log                                09-Mar-2011 15:52                  65
1084.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12026
1084.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1092.cudf.caixa.abort                              09-Mar-2011 15:51                 429
1092.cudf.caixa.log                                09-Mar-2011 15:51                  65
1092.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11142
1092.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1093.cudf.caixa.abort                              09-Mar-2011 15:52                 628
1093.cudf.caixa.log                                09-Mar-2011 15:51                  65
1093.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12157
1093.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1094.cudf.caixa.abort                              09-Mar-2011 15:51                 429
1094.cudf.caixa.log                                09-Mar-2011 15:51                  65
1094.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11764
1094.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1095.cudf.caixa.abort                              09-Mar-2011 15:51                 415
1095.cudf.caixa.log                                09-Mar-2011 15:51                  65
1095.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10810
1095.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1096.cudf.caixa.abort                              09-Mar-2011 15:51                 416
1096.cudf.caixa.log                                09-Mar-2011 15:51                  65
1096.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12368
1096.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
1097.cudf.caixa.abort                              09-Mar-2011 15:51                 462
1097.cudf.caixa.log                                09-Mar-2011 15:52                  65
1097.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12218
1097.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1098.cudf.caixa.abort                              09-Mar-2011 15:51                 438
1098.cudf.caixa.log                                09-Mar-2011 15:51                  65
1098.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10808
1098.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1108.cudf.caixa.abort                              09-Mar-2011 15:52                 438
1108.cudf.caixa.log                                09-Mar-2011 15:51                  65
1108.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13517
1108.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
1109.cudf.caixa.abort                              09-Mar-2011 15:51                 431
1109.cudf.caixa.log                                09-Mar-2011 15:51                  65
1109.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11830
1109.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1124.cudf.caixa.abort                              09-Mar-2011 15:51                 416
1124.cudf.caixa.log                                09-Mar-2011 15:52                  65
1124.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10645
1124.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1125.cudf.caixa.abort                              09-Mar-2011 15:51                 448
1125.cudf.caixa.log                                09-Mar-2011 15:51                  65
1125.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13410
1125.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1126.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1126.cudf.caixa.log                                09-Mar-2011 15:52                  65
1126.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12367
1126.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1128.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1128.cudf.caixa.log                                09-Mar-2011 15:52                  65
1128.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12213
1128.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1131.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1131.cudf.caixa.log                                09-Mar-2011 15:51                  65
1131.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10807
1131.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1143.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1143.cudf.caixa.log                                09-Mar-2011 15:52                  65
1143.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13741
1143.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1144.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1144.cudf.caixa.log                                09-Mar-2011 15:52                  65
1144.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11140
1144.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
1152.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1152.cudf.caixa.log                                09-Mar-2011 15:51                  65
1152.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13758
1152.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1164.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1164.cudf.caixa.log                                09-Mar-2011 15:52                  65
1164.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12899
1164.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1194.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1194.cudf.caixa.log                                09-Mar-2011 15:52                  65
1194.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13388
1194.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
120.cudf.caixa.abort                               09-Mar-2011 15:52                 298
120.cudf.caixa.log                                 09-Mar-2011 15:51                  65
120.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13933
120.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
121.cudf.caixa.abort                               09-Mar-2011 15:52                 298
121.cudf.caixa.log                                 09-Mar-2011 15:51                  65
121.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10805
121.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
122.cudf.caixa.abort                               09-Mar-2011 15:51                 298
122.cudf.caixa.log                                 09-Mar-2011 15:52                  65
122.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12366
122.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
1231.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1231.cudf.caixa.log                                09-Mar-2011 15:51                  65
1231.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10809
1231.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1238.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1238.cudf.caixa.log                                09-Mar-2011 15:51                  65
1238.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13909
1238.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1239.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1239.cudf.caixa.log                                09-Mar-2011 15:51                  65
1239.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15484
1239.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1243.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1243.cudf.caixa.log                                09-Mar-2011 15:51                  65
1243.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12514
1243.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1262.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1262.cudf.caixa.log                                09-Mar-2011 15:51                  65
1262.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12538
1262.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
1265.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1265.cudf.caixa.log                                09-Mar-2011 15:52                  65
1265.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12552
1265.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1300.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1300.cudf.caixa.log                                09-Mar-2011 15:51                  65
1300.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12011
1300.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
131.cudf.caixa.abort                               09-Mar-2011 15:51                 298
131.cudf.caixa.log                                 09-Mar-2011 15:52                  65
131.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12195
131.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
132.cudf.caixa.abort                               09-Mar-2011 15:51                 298
132.cudf.caixa.log                                 09-Mar-2011 15:51                  65
132.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12561
132.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
1335.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1335.cudf.caixa.log                                09-Mar-2011 15:51                  65
1335.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12007
1335.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1336.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1336.cudf.caixa.log                                09-Mar-2011 15:51                  65
1336.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12174
1336.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1337.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1337.cudf.caixa.log                                09-Mar-2011 15:52                  65
1337.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13231
1337.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1362.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1362.cudf.caixa.log                                09-Mar-2011 15:51                  65
1362.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13396
1362.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1365.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1365.cudf.caixa.log                                09-Mar-2011 15:51                  65
1365.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11143
1365.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1366.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1366.cudf.caixa.log                                09-Mar-2011 15:52                  65
1366.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15462
1366.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1369.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1369.cudf.caixa.log                                09-Mar-2011 15:51                  65
1369.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15489
1369.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1378.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1378.cudf.caixa.log                                09-Mar-2011 15:51                  65
1378.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12527
1378.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
140.cudf.caixa.abort                               09-Mar-2011 15:52                 298
140.cudf.caixa.log                                 09-Mar-2011 15:51                  65
140.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13434
140.cudf.caixa.log.time                            09-Mar-2011 15:51                 202
1468.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1468.cudf.caixa.log                                09-Mar-2011 15:51                  65
1468.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12032
1468.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1481.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1481.cudf.caixa.log                                09-Mar-2011 15:52                  65
1481.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11371
1481.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
150.cudf.caixa.abort                               09-Mar-2011 15:52                 298
150.cudf.caixa.log                                 09-Mar-2011 15:51                  65
150.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12190
150.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
1596.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1596.cudf.caixa.log                                09-Mar-2011 15:51                  65
1596.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12885
1596.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1602.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1602.cudf.caixa.log                                09-Mar-2011 15:52                  65
1602.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13772
1602.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1617.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1617.cudf.caixa.log                                09-Mar-2011 15:51                  65
1617.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               14096
1617.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1627.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1627.cudf.caixa.log                                09-Mar-2011 15:51                  65
1627.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13770
1627.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1641.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1641.cudf.caixa.log                                09-Mar-2011 15:51                  65
1641.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12901
1641.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1647.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1647.cudf.caixa.log                                09-Mar-2011 15:52                  65
1647.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12358
1647.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1651.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1651.cudf.caixa.log                                09-Mar-2011 15:52                  65
1651.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12217
1651.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1654.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1654.cudf.caixa.log                                09-Mar-2011 15:52                  65
1654.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12010
1654.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1655.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1655.cudf.caixa.log                                09-Mar-2011 15:51                  65
1655.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13394
1655.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1657.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1657.cudf.caixa.log                                09-Mar-2011 15:51                  65
1657.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13396
1657.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
167.cudf.caixa.abort                               09-Mar-2011 15:51                 298
167.cudf.caixa.log                                 09-Mar-2011 15:52                  65
167.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13255
167.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
1670.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1670.cudf.caixa.log                                09-Mar-2011 15:51                  65
1670.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12187
1670.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
168.cudf.caixa.abort                               09-Mar-2011 15:51                 298
168.cudf.caixa.log                                 09-Mar-2011 15:52                  65
168.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13216
168.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
1682.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1682.cudf.caixa.log                                09-Mar-2011 15:52                  65
1682.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12202
1682.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
1687.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1687.cudf.caixa.log                                09-Mar-2011 15:52                  65
1687.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12009
1687.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
169.cudf.caixa.abort                               09-Mar-2011 15:51                 298
169.cudf.caixa.log                                 09-Mar-2011 15:51                  65
169.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13911
169.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
1691.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1691.cudf.caixa.log                                09-Mar-2011 15:52                  65
1691.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12222
1691.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
170.cudf.caixa.abort                               09-Mar-2011 15:52                 298
170.cudf.caixa.log                                 09-Mar-2011 15:51                  65
170.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               14064
170.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
1717.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1717.cudf.caixa.log                                09-Mar-2011 15:52                  65
1717.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12011
1717.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1719.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1719.cudf.caixa.log                                09-Mar-2011 15:51                  65
1719.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12525
1719.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1720.cudf.caixa.abort                              09-Mar-2011 15:52                 298
1720.cudf.caixa.log                                09-Mar-2011 15:51                  65
1720.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12547
1720.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
1722.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1722.cudf.caixa.log                                09-Mar-2011 15:51                  65
1722.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12011
1722.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
1723.cudf.caixa.abort                              09-Mar-2011 15:51                 298
1723.cudf.caixa.log                                09-Mar-2011 15:52                  65
1723.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12006
1723.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
173.cudf.caixa.abort                               09-Mar-2011 15:52                 298
173.cudf.caixa.log                                 09-Mar-2011 15:51                  65
173.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13212
173.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
174.cudf.caixa.abort                               09-Mar-2011 15:51                 298
174.cudf.caixa.log                                 09-Mar-2011 15:52                  65
174.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               14790
174.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
176.cudf.caixa.abort                               09-Mar-2011 15:51                 298
176.cudf.caixa.log                                 09-Mar-2011 15:52                  65
176.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13748
176.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
178.cudf.caixa.abort                               09-Mar-2011 15:51                 298
178.cudf.caixa.log                                 09-Mar-2011 15:52                  65
178.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               11827
178.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
19.cudf.caixa.abort                                09-Mar-2011 15:51                 298
19.cudf.caixa.log                                  09-Mar-2011 15:51                  65
19.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               13384
19.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
195.cudf.caixa.abort                               09-Mar-2011 15:51                 298
195.cudf.caixa.log                                 09-Mar-2011 15:52                  65
195.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12009
195.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 601
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               21086
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               21151
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 203
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               19995
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 203
23.cudf.caixa.abort                                09-Mar-2011 15:51                 298
23.cudf.caixa.log                                  09-Mar-2011 15:52                  65
23.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               13380
23.cudf.caixa.log.time                             09-Mar-2011 15:52                 203
25.cudf.caixa.abort                                09-Mar-2011 15:52                 298
25.cudf.caixa.log                                  09-Mar-2011 15:51                  65
25.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               13590
25.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 441
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 208
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               21271
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 202
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               19941
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               20114
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 204
30.cudf.caixa.abort                                09-Mar-2011 15:51                 298
30.cudf.caixa.log                                  09-Mar-2011 15:52                  65
30.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               10620
30.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
33.cudf.caixa.abort                                09-Mar-2011 15:52                 298
33.cudf.caixa.log                                  09-Mar-2011 15:51                  65
33.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               12499
33.cudf.caixa.log.time                             09-Mar-2011 15:51                 204
3343.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3343.cudf.caixa.log                                09-Mar-2011 15:52                  65
3343.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10487
3343.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3362.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3362.cudf.caixa.log                                09-Mar-2011 15:52                  65
3362.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                9966
3362.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3363.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3363.cudf.caixa.log                                09-Mar-2011 15:51                  65
3363.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11176
3363.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3368.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3368.cudf.caixa.log                                09-Mar-2011 15:52                  65
3368.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10648
3368.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
36.cudf.caixa.abort                                09-Mar-2011 15:51                 298
36.cudf.caixa.log                                  09-Mar-2011 15:52                  65
36.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               10471
36.cudf.caixa.log.time                             09-Mar-2011 15:51                 204
3674.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3674.cudf.caixa.log                                09-Mar-2011 15:51                  65
3674.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14586
3674.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3825.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3825.cudf.caixa.log                                09-Mar-2011 15:52                  65
3825.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11168
3825.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3826.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3826.cudf.caixa.log                                09-Mar-2011 15:52                  65
3826.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11165
3826.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3842.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3842.cudf.caixa.log                                09-Mar-2011 15:51                  65
3842.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13704
3842.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3846.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3846.cudf.caixa.log                                09-Mar-2011 15:52                  65
3846.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12359
3846.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3848.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3848.cudf.caixa.log                                09-Mar-2011 15:52                  65
3848.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13730
3848.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3851.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3851.cudf.caixa.log                                09-Mar-2011 15:51                  65
3851.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11657
3851.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3857.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3857.cudf.caixa.log                                09-Mar-2011 15:52                  65
3857.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9790
3857.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3863.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3863.cudf.caixa.log                                09-Mar-2011 15:51                  65
3863.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11345
3863.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3866.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3866.cudf.caixa.log                                09-Mar-2011 15:51                  65
3866.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12000
3866.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3867.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3867.cudf.caixa.log                                09-Mar-2011 15:51                  65
3867.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15598
3867.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3868.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3868.cudf.caixa.log                                09-Mar-2011 15:52                  65
3868.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14910
3868.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3869.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3869.cudf.caixa.log                                09-Mar-2011 15:51                  65
3869.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               14423
3869.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3870.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3870.cudf.caixa.log                                09-Mar-2011 15:52                  65
3870.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13699
3870.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3871.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3871.cudf.caixa.log                                09-Mar-2011 15:51                  65
3871.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15235
3871.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3872.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3872.cudf.caixa.log                                09-Mar-2011 15:51                  65
3872.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13012
3872.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3873.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3873.cudf.caixa.log                                09-Mar-2011 15:51                  65
3873.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13049
3873.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3874.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3874.cudf.caixa.log                                09-Mar-2011 15:51                  65
3874.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12323
3874.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
3875.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3875.cudf.caixa.log                                09-Mar-2011 15:51                  65
3875.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13732
3875.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3876.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3876.cudf.caixa.log                                09-Mar-2011 15:52                  65
3876.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10849
3876.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3881.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3881.cudf.caixa.log                                09-Mar-2011 15:52                  65
3881.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12318
3881.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3884.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3884.cudf.caixa.log                                09-Mar-2011 15:51                  65
3884.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13932
3884.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3885.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3885.cudf.caixa.log                                09-Mar-2011 15:52                  65
3885.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13702
3885.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3887.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3887.cudf.caixa.log                                09-Mar-2011 15:51                  65
3887.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12020
3887.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3888.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3888.cudf.caixa.log                                09-Mar-2011 15:52                  65
3888.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13362
3888.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3889.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3889.cudf.caixa.log                                09-Mar-2011 15:52                  65
3889.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11330
3889.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3890.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3890.cudf.caixa.log                                09-Mar-2011 15:51                  65
3890.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10356
3890.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3891.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3891.cudf.caixa.log                                09-Mar-2011 15:51                  65
3891.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13593
3891.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3894.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3894.cudf.caixa.log                                09-Mar-2011 15:51                  65
3894.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13940
3894.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3896.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3896.cudf.caixa.log                                09-Mar-2011 15:52                  65
3896.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12712
3896.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3898.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3898.cudf.caixa.log                                09-Mar-2011 15:52                  65
3898.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11512
3898.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
39.cudf.caixa.abort                                09-Mar-2011 15:52                 298
39.cudf.caixa.log                                  09-Mar-2011 15:52                  65
39.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               10626
39.cudf.caixa.log.time                             09-Mar-2011 15:51                 204
3906.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3906.cudf.caixa.log                                09-Mar-2011 15:52                  65
3906.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13569
3906.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3907.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3907.cudf.caixa.log                                09-Mar-2011 15:51                  65
3907.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15161
3907.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3908.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3908.cudf.caixa.log                                09-Mar-2011 15:52                  65
3908.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12088
3908.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3909.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3909.cudf.caixa.log                                09-Mar-2011 15:52                  65
3909.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13590
3909.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3910.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3910.cudf.caixa.log                                09-Mar-2011 15:52                  65
3910.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13593
3910.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3911.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3911.cudf.caixa.log                                09-Mar-2011 15:51                  65
3911.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12191
3911.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3912.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3912.cudf.caixa.log                                09-Mar-2011 15:52                  65
3912.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15158
3912.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3913.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3913.cudf.caixa.log                                09-Mar-2011 15:52                  65
3913.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13745
3913.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3915.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3915.cudf.caixa.log                                09-Mar-2011 15:51                  65
3915.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10628
3915.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3916.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3916.cudf.caixa.log                                09-Mar-2011 15:52                  65
3916.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10628
3916.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3919.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3919.cudf.caixa.log                                09-Mar-2011 15:52                  65
3919.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12208
3919.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3921.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3921.cudf.caixa.log                                09-Mar-2011 15:51                  65
3921.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13574
3921.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3922.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3922.cudf.caixa.log                                09-Mar-2011 15:51                  65
3922.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15899
3922.cudf.caixa.log.time                           09-Mar-2011 15:51                 247
3923.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3923.cudf.caixa.log                                09-Mar-2011 15:51                  65
3923.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                9088
3923.cudf.caixa.log.time                           09-Mar-2011 15:51                 201
3924.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3924.cudf.caixa.log                                09-Mar-2011 15:51                  65
3924.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                9090
3924.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3925.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3925.cudf.caixa.log                                09-Mar-2011 15:52                  65
3925.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12192
3925.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3926.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3926.cudf.caixa.log                                09-Mar-2011 15:51                  65
3926.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12188
3926.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3929.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3929.cudf.caixa.log                                09-Mar-2011 15:51                  65
3929.cudf.caixa.log.runsolver                      09-Mar-2011 15:52                8922
3929.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3930.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3930.cudf.caixa.log                                09-Mar-2011 15:52                  65
3930.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                8942
3930.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3931.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3931.cudf.caixa.log                                09-Mar-2011 15:51                  65
3931.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13744
3931.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3934.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3934.cudf.caixa.log                                09-Mar-2011 15:51                  65
3934.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11687
3934.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3936.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3936.cudf.caixa.log                                09-Mar-2011 15:51                  65
3936.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11335
3936.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3938.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3938.cudf.caixa.log                                09-Mar-2011 15:51                  65
3938.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13591
3938.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
3939.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3939.cudf.caixa.log                                09-Mar-2011 15:52                  65
3939.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13572
3939.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3940.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3940.cudf.caixa.log                                09-Mar-2011 15:51                  65
3940.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12215
3940.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
3941.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3941.cudf.caixa.log                                09-Mar-2011 15:51                  65
3941.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12804
3941.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3944.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3944.cudf.caixa.log                                09-Mar-2011 15:51                  65
3944.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11506
3944.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
3946.cudf.caixa.abort                              09-Mar-2011 15:52                 298
3946.cudf.caixa.log                                09-Mar-2011 15:51                  65
3946.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15126
3946.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3948.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3948.cudf.caixa.log                                09-Mar-2011 15:51                  65
3948.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14446
3948.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3999.cudf.caixa.abort                              09-Mar-2011 15:51                 298
3999.cudf.caixa.log                                09-Mar-2011 15:52                  65
3999.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                8946
3999.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 441
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:51                 208
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52               20338
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 204
40.cudf.caixa.abort                                09-Mar-2011 15:51                 298
40.cudf.caixa.log                                  09-Mar-2011 15:51                  65
40.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               10622
40.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
4000.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4000.cudf.caixa.log                                09-Mar-2011 15:51                  65
4000.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13742
4000.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
4001.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4001.cudf.caixa.log                                09-Mar-2011 15:51                  65
4001.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10500
4001.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4002.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4002.cudf.caixa.log                                09-Mar-2011 15:52                  65
4002.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13597
4002.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4003.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4003.cudf.caixa.log                                09-Mar-2011 15:51                  65
4003.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10536
4003.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4004.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4004.cudf.caixa.log                                09-Mar-2011 15:52                  65
4004.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13596
4004.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4006.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4006.cudf.caixa.log                                09-Mar-2011 15:51                  65
4006.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11966
4006.cudf.caixa.log.time                           09-Mar-2011 15:51                 202
4007.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4007.cudf.caixa.log                                09-Mar-2011 15:52                  65
4007.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10475
4007.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4008.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4008.cudf.caixa.log                                09-Mar-2011 15:52                  65
4008.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13059
4008.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4009.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4009.cudf.caixa.log                                09-Mar-2011 15:51                  65
4009.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13595
4009.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4011.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4011.cudf.caixa.log                                09-Mar-2011 15:51                  65
4011.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13597
4011.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4012.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4012.cudf.caixa.log                                09-Mar-2011 15:51                  65
4012.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13592
4012.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4013.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4013.cudf.caixa.log                                09-Mar-2011 15:52                  65
4013.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10630
4013.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4015.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4015.cudf.caixa.log                                09-Mar-2011 15:52                  65
4015.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13600
4015.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4016.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4016.cudf.caixa.log                                09-Mar-2011 15:51                  65
4016.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12194
4016.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4017.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4017.cudf.caixa.log                                09-Mar-2011 15:51                  65
4017.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11509
4017.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4018.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4018.cudf.caixa.log                                09-Mar-2011 15:51                  65
4018.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12880
4018.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4019.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4019.cudf.caixa.log                                09-Mar-2011 15:51                  65
4019.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13591
4019.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4020.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4020.cudf.caixa.log                                09-Mar-2011 15:52                  65
4020.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12182
4020.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4021.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4021.cudf.caixa.log                                09-Mar-2011 15:51                  65
4021.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12063
4021.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4022.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4022.cudf.caixa.log                                09-Mar-2011 15:52                  65
4022.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12163
4022.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4023.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4023.cudf.caixa.log                                09-Mar-2011 15:52                  65
4023.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10976
4023.cudf.caixa.log.time                           09-Mar-2011 15:51                 202
4024.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4024.cudf.caixa.log                                09-Mar-2011 15:51                  65
4024.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12204
4024.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4025.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4025.cudf.caixa.log                                09-Mar-2011 15:51                  65
4025.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13905
4025.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4026.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4026.cudf.caixa.log                                09-Mar-2011 15:52                  65
4026.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12520
4026.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4027.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4027.cudf.caixa.log                                09-Mar-2011 15:52                  65
4027.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15459
4027.cudf.caixa.log.time                           09-Mar-2011 15:52                 203
4028.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4028.cudf.caixa.log                                09-Mar-2011 15:52                  65
4028.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10797
4028.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4029.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4029.cudf.caixa.log                                09-Mar-2011 15:51                  65
4029.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12867
4029.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4030.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4030.cudf.caixa.log                                09-Mar-2011 15:52                  65
4030.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13552
4030.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4031.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4031.cudf.caixa.log                                09-Mar-2011 15:52                  65
4031.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               16072
4031.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4032.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4032.cudf.caixa.log                                09-Mar-2011 15:51                  65
4032.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               14777
4032.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4033.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4033.cudf.caixa.log                                09-Mar-2011 15:52                  65
4033.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13416
4033.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4034.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4034.cudf.caixa.log                                09-Mar-2011 15:52                  65
4034.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               16047
4034.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4035.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4035.cudf.caixa.log                                09-Mar-2011 15:51                  65
4035.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12527
4035.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4036.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4036.cudf.caixa.log                                09-Mar-2011 15:51                  65
4036.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15132
4036.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4037.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4037.cudf.caixa.log                                09-Mar-2011 15:52                  65
4037.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12576
4037.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4038.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4038.cudf.caixa.log                                09-Mar-2011 15:51                  65
4038.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13366
4038.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4039.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4039.cudf.caixa.log                                09-Mar-2011 15:51                  65
4039.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12696
4039.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4040.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4040.cudf.caixa.log                                09-Mar-2011 15:52                  65
4040.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13241
4040.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4041.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4041.cudf.caixa.log                                09-Mar-2011 15:51                  65
4041.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12903
4041.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4042.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4042.cudf.caixa.log                                09-Mar-2011 15:52                  65
4042.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12526
4042.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4043.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4043.cudf.caixa.log                                09-Mar-2011 15:52                  65
4043.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11159
4043.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4044.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4044.cudf.caixa.log                                09-Mar-2011 15:52                  65
4044.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               14111
4044.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4045.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4045.cudf.caixa.log                                09-Mar-2011 15:51                  65
4045.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12501
4045.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4046.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4046.cudf.caixa.log                                09-Mar-2011 15:51                  65
4046.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14971
4046.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4047.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4047.cudf.caixa.log                                09-Mar-2011 15:52                  65
4047.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13638
4047.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4048.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4048.cudf.caixa.log                                09-Mar-2011 15:52                  65
4048.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13182
4048.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4049.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4049.cudf.caixa.log                                09-Mar-2011 15:52                  65
4049.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               11853
4049.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4050.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4050.cudf.caixa.log                                09-Mar-2011 15:52                  65
4050.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12000
4050.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4051.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4051.cudf.caixa.log                                09-Mar-2011 15:52                  65
4051.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               14536
4051.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4052.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4052.cudf.caixa.log                                09-Mar-2011 15:52                  65
4052.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13186
4052.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4054.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4054.cudf.caixa.log                                09-Mar-2011 15:51                  65
4054.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14279
4054.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4060.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4060.cudf.caixa.log                                09-Mar-2011 15:51                  65
4060.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13185
4060.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4061.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4061.cudf.caixa.log                                09-Mar-2011 15:51                  65
4061.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10717
4061.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4062.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4062.cudf.caixa.log                                09-Mar-2011 15:51                  65
4062.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15234
4062.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4063.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4063.cudf.caixa.log                                09-Mar-2011 15:52                  65
4063.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12870
4063.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4064.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4064.cudf.caixa.log                                09-Mar-2011 15:51                  65
4064.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15232
4064.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4065.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4065.cudf.caixa.log                                09-Mar-2011 15:51                  65
4065.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12916
4065.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4066.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4066.cudf.caixa.log                                09-Mar-2011 15:51                  65
4066.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12240
4066.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4067.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4067.cudf.caixa.log                                09-Mar-2011 15:51                  65
4067.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13185
4067.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4068.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4068.cudf.caixa.log                                09-Mar-2011 15:52                  65
4068.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10977
4068.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4069.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4069.cudf.caixa.log                                09-Mar-2011 15:51                  65
4069.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13189
4069.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4070.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4070.cudf.caixa.log                                09-Mar-2011 15:52                  65
4070.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10975
4070.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4071.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4071.cudf.caixa.log                                09-Mar-2011 15:51                  65
4071.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                9792
4071.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4074.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4074.cudf.caixa.log                                09-Mar-2011 15:52                  65
4074.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13345
4074.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4076.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4076.cudf.caixa.log                                09-Mar-2011 15:52                  65
4076.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               15226
4076.cudf.caixa.log.time                           09-Mar-2011 15:52                 204
4077.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4077.cudf.caixa.log                                09-Mar-2011 15:52                  65
4077.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12000
4077.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4078.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4078.cudf.caixa.log                                09-Mar-2011 15:51                  65
4078.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11823
4078.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4079.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4079.cudf.caixa.log                                09-Mar-2011 15:51                  65
4079.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10322
4079.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4080.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4080.cudf.caixa.log                                09-Mar-2011 15:51                  65
4080.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                8805
4080.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4082.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4082.cudf.caixa.log                                09-Mar-2011 15:52                  65
4082.cudf.caixa.log.runsolver                      09-Mar-2011 15:51                9967
4082.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
4083.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4083.cudf.caixa.log                                09-Mar-2011 15:51                  65
4083.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14276
4083.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4084.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4084.cudf.caixa.log                                09-Mar-2011 15:52                  65
4084.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               14564
4084.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4085.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4085.cudf.caixa.log                                09-Mar-2011 15:51                  65
4085.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11167
4085.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4086.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4086.cudf.caixa.log                                09-Mar-2011 15:52                  65
4086.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10543
4086.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4087.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4087.cudf.caixa.log                                09-Mar-2011 15:51                  65
4087.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               13569
4087.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4088.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4088.cudf.caixa.log                                09-Mar-2011 15:51                  65
4088.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11495
4088.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4089.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4089.cudf.caixa.log                                09-Mar-2011 15:51                  65
4089.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               12173
4089.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4090.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4090.cudf.caixa.log                                09-Mar-2011 15:51                  65
4090.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11519
4090.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4091.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4091.cudf.caixa.log                                09-Mar-2011 15:51                  65
4091.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               10143
4091.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4092.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4092.cudf.caixa.log                                09-Mar-2011 15:52                  65
4092.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13220
4092.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4110.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4110.cudf.caixa.log                                09-Mar-2011 15:52                  65
4110.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15463
4110.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4113.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4113.cudf.caixa.log                                09-Mar-2011 15:51                  65
4113.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13239
4113.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4114.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4114.cudf.caixa.log                                09-Mar-2011 15:52                  65
4114.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10992
4114.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
4115.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4115.cudf.caixa.log                                09-Mar-2011 15:51                  65
4115.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11681
4115.cudf.caixa.log.time                           09-Mar-2011 15:52                 205
4116.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4116.cudf.caixa.log                                09-Mar-2011 15:52                  65
4116.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10151
4116.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
4117.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4117.cudf.caixa.log                                09-Mar-2011 15:52                  65
4117.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               10293
4117.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4119.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4119.cudf.caixa.log                                09-Mar-2011 15:52                  65
4119.cudf.caixa.log.runsolver                      09-Mar-2011 15:52               15383
4119.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4121.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4121.cudf.caixa.log                                09-Mar-2011 15:52                  65
4121.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               13409
4121.cudf.caixa.log.time                           09-Mar-2011 15:51                 204
4122.cudf.caixa.abort                              09-Mar-2011 15:51                 298
4122.cudf.caixa.log                                09-Mar-2011 15:51                  65
4122.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               11346
4122.cudf.caixa.log.time                           09-Mar-2011 15:51                 203
4123.cudf.caixa.abort                              09-Mar-2011 15:52                 298
4123.cudf.caixa.log                                09-Mar-2011 15:51                  65
4123.cudf.caixa.log.runsolver                      09-Mar-2011 15:51               12003
4123.cudf.caixa.log.time                           09-Mar-2011 15:51                 205
42.cudf.caixa.abort                                09-Mar-2011 15:51                 298
42.cudf.caixa.log                                  09-Mar-2011 15:51                  65
42.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               10620
42.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
43.cudf.caixa.abort                                09-Mar-2011 15:51                 298
43.cudf.caixa.log                                  09-Mar-2011 15:52                  65
43.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               12028
43.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
44.cudf.caixa.abort                                09-Mar-2011 15:52                 298
44.cudf.caixa.log                                  09-Mar-2011 15:51                  65
44.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               12190
44.cudf.caixa.log.time                             09-Mar-2011 15:52                 205
46.cudf.caixa.abort                                09-Mar-2011 15:52                 298
46.cudf.caixa.log                                  09-Mar-2011 15:51                  65
46.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               12186
46.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
47.cudf.caixa.abort                                09-Mar-2011 15:52                 298
47.cudf.caixa.log                                  09-Mar-2011 15:52                  65
47.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               12178
47.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               19914
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 204
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 601
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 368
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               19928
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 204
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               21140
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 204
519.cudf.caixa.abort                               09-Mar-2011 15:51                 298
519.cudf.caixa.log                                 09-Mar-2011 15:51                  65
519.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12190
519.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
520.cudf.caixa.abort                               09-Mar-2011 15:52                 298
520.cudf.caixa.log                                 09-Mar-2011 15:52                  65
520.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10803
520.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
521.cudf.caixa.abort                               09-Mar-2011 15:52                 298
521.cudf.caixa.log                                 09-Mar-2011 15:51                  65
521.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13415
521.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
522.cudf.caixa.abort                               09-Mar-2011 15:51                 298
522.cudf.caixa.log                                 09-Mar-2011 15:51                  65
522.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13042
522.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
534.cudf.caixa.abort                               09-Mar-2011 15:52                 298
534.cudf.caixa.log                                 09-Mar-2011 15:51                  65
534.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13761
534.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
536.cudf.caixa.abort                               09-Mar-2011 15:51                 298
536.cudf.caixa.log                                 09-Mar-2011 15:52                  65
536.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12542
536.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
538.cudf.caixa.abort                               09-Mar-2011 15:51                 298
538.cudf.caixa.log                                 09-Mar-2011 15:51                  65
538.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10802
538.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
550.cudf.caixa.abort                               09-Mar-2011 15:51                 298
550.cudf.caixa.log                                 09-Mar-2011 15:51                  65
550.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13418
550.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
555.cudf.caixa.abort                               09-Mar-2011 15:51                 298
555.cudf.caixa.log                                 09-Mar-2011 15:51                  65
555.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12190
555.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
556.cudf.caixa.abort                               09-Mar-2011 15:51                 298
556.cudf.caixa.log                                 09-Mar-2011 15:51                  65
556.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13412
556.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
557.cudf.caixa.abort                               09-Mar-2011 15:52                 298
557.cudf.caixa.log                                 09-Mar-2011 15:51                  65
557.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12214
557.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
558.cudf.caixa.abort                               09-Mar-2011 15:51                 298
558.cudf.caixa.log                                 09-Mar-2011 15:51                  65
558.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12364
558.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
559.cudf.caixa.abort                               09-Mar-2011 15:51                 298
559.cudf.caixa.log                                 09-Mar-2011 15:51                  65
559.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10786
559.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               21154
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 204
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 504
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 271
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:51               14084
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:51                 136
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 441
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 208
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               19847
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 204
571.cudf.caixa.abort                               09-Mar-2011 15:51                 298
571.cudf.caixa.log                                 09-Mar-2011 15:52                  65
571.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12212
571.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
579.cudf.caixa.abort                               09-Mar-2011 15:51                 298
579.cudf.caixa.log                                 09-Mar-2011 15:51                  65
579.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13745
579.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
58.cudf.caixa.abort                                09-Mar-2011 15:51                 298
58.cudf.caixa.log                                  09-Mar-2011 15:51                  65
58.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               12221
58.cudf.caixa.log.time                             09-Mar-2011 15:52                 204
581.cudf.caixa.abort                               09-Mar-2011 15:52                 298
581.cudf.caixa.log                                 09-Mar-2011 15:52                  65
581.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13748
581.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
582.cudf.caixa.abort                               09-Mar-2011 15:51                 298
582.cudf.caixa.log                                 09-Mar-2011 15:52                  65
582.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               11480
582.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
584.cudf.caixa.abort                               09-Mar-2011 15:51                 298
584.cudf.caixa.log                                 09-Mar-2011 15:51                  65
584.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12216
584.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
589.cudf.caixa.abort                               09-Mar-2011 15:51                 298
589.cudf.caixa.log                                 09-Mar-2011 15:51                  65
589.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13739
589.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                5201
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                4974
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               19562
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 201
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               11694
590.cudf.caixa.abort                               09-Mar-2011 15:52                 298
590.cudf.caixa.log                                 09-Mar-2011 15:51                  65
590.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10804
590.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
591.cudf.caixa.abort                               09-Mar-2011 15:52                 298
591.cudf.caixa.log                                 09-Mar-2011 15:51                  65
591.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12353
591.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
593.cudf.caixa.abort                               09-Mar-2011 15:51                 298
593.cudf.caixa.log                                 09-Mar-2011 15:51                  65
593.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               10799
593.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
597.cudf.caixa.abort                               09-Mar-2011 15:51                 298
597.cudf.caixa.log                                 09-Mar-2011 15:51                  65
597.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12187
597.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
63.cudf.caixa.abort                                09-Mar-2011 15:51                 298
63.cudf.caixa.log                                  09-Mar-2011 15:51                  65
63.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               13764
63.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
634.cudf.caixa.abort                               09-Mar-2011 15:51                 298
634.cudf.caixa.log                                 09-Mar-2011 15:51                  65
634.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12364
634.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
642.cudf.caixa.abort                               09-Mar-2011 15:51                 298
642.cudf.caixa.log                                 09-Mar-2011 15:51                  65
642.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13748
642.cudf.caixa.log.time                            09-Mar-2011 15:51                 202
643.cudf.caixa.abort                               09-Mar-2011 15:52                 298
643.cudf.caixa.log                                 09-Mar-2011 15:51                  65
643.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13412
643.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
645.cudf.caixa.abort                               09-Mar-2011 15:52                 298
645.cudf.caixa.log                                 09-Mar-2011 15:52                  65
645.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               14433
645.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
65.cudf.caixa.abort                                09-Mar-2011 15:51                 298
65.cudf.caixa.log                                  09-Mar-2011 15:51                  65
65.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               12008
65.cudf.caixa.log.time                             09-Mar-2011 15:51                 204
650.cudf.caixa.abort                               09-Mar-2011 15:52                 298
650.cudf.caixa.log                                 09-Mar-2011 15:51                  65
650.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               14104
650.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
654.cudf.caixa.abort                               09-Mar-2011 15:51                 298
654.cudf.caixa.log                                 09-Mar-2011 15:52                  65
654.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13761
654.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
657.cudf.caixa.abort                               09-Mar-2011 15:51                 298
657.cudf.caixa.log                                 09-Mar-2011 15:51                  65
657.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               10799
657.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
658.cudf.caixa.abort                               09-Mar-2011 15:51                 298
658.cudf.caixa.log                                 09-Mar-2011 15:51                  65
658.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13082
658.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
66.cudf.caixa.abort                                09-Mar-2011 15:51                 298
66.cudf.caixa.log                                  09-Mar-2011 15:52                  65
66.cudf.caixa.log.runsolver                        09-Mar-2011 15:52               12192
66.cudf.caixa.log.time                             09-Mar-2011 15:51                 204
672.cudf.caixa.abort                               09-Mar-2011 15:51                 298
672.cudf.caixa.log                                 09-Mar-2011 15:52                  65
672.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13415
672.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 441
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 208
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               20000
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                   0
690.cudf.caixa.abort                               09-Mar-2011 15:51                 298
690.cudf.caixa.log                                 09-Mar-2011 15:51                  65
690.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12053
690.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 441
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 208
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               20819
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 203
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 441
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                 208
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               20009
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 203
74.cudf.caixa.abort                                09-Mar-2011 15:51                 298
74.cudf.caixa.log                                  09-Mar-2011 15:51                  65
74.cudf.caixa.log.runsolver                        09-Mar-2011 15:51               12994
74.cudf.caixa.log.time                             09-Mar-2011 15:51                 205
745.cudf.caixa.abort                               09-Mar-2011 15:51                 298
745.cudf.caixa.log                                 09-Mar-2011 15:51                  65
745.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13767
745.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
770.cudf.caixa.abort                               09-Mar-2011 15:52                 298
770.cudf.caixa.log                                 09-Mar-2011 15:52                  65
770.cudf.caixa.log.runsolver                       09-Mar-2011 15:51                9957
770.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
775.cudf.caixa.abort                               09-Mar-2011 15:51                 298
775.cudf.caixa.log                                 09-Mar-2011 15:51                  65
775.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               11302
775.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
778.cudf.caixa.abort                               09-Mar-2011 15:51                 298
778.cudf.caixa.log                                 09-Mar-2011 15:51                  65
778.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               11332
778.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
779.cudf.caixa.abort                               09-Mar-2011 15:51                 298
779.cudf.caixa.log                                 09-Mar-2011 15:51                  65
779.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12213
779.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
781.cudf.caixa.abort                               09-Mar-2011 15:52                 298
781.cudf.caixa.log                                 09-Mar-2011 15:51                  65
781.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               10802
781.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
787.cudf.caixa.abort                               09-Mar-2011 15:52                 298
787.cudf.caixa.log                                 09-Mar-2011 15:52                  65
787.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12211
787.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52                5201
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                4974
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               20231
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 202
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               11694
801.cudf.caixa.abort                               09-Mar-2011 15:51                 298
801.cudf.caixa.log                                 09-Mar-2011 15:51                  65
801.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13039
801.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
808.cudf.caixa.abort                               09-Mar-2011 15:52                 298
808.cudf.caixa.log                                 09-Mar-2011 15:51                  65
808.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13386
808.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
809.cudf.caixa.abort                               09-Mar-2011 15:51                 298
809.cudf.caixa.log                                 09-Mar-2011 15:51                  65
809.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12557
809.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
811.cudf.caixa.abort                               09-Mar-2011 15:52                 298
811.cudf.caixa.log                                 09-Mar-2011 15:51                  65
811.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13917
811.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
812.cudf.caixa.abort                               09-Mar-2011 15:51                 298
812.cudf.caixa.log                                 09-Mar-2011 15:52                  65
812.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12505
812.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
813.cudf.caixa.abort                               09-Mar-2011 15:51                 298
813.cudf.caixa.log                                 09-Mar-2011 15:51                  65
813.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13899
813.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
814.cudf.caixa.abort                               09-Mar-2011 15:52                 298
814.cudf.caixa.log                                 09-Mar-2011 15:52                  65
814.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13919
814.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
815.cudf.caixa.abort                               09-Mar-2011 15:51                 298
815.cudf.caixa.log                                 09-Mar-2011 15:51                  65
815.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13772
815.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
816.cudf.caixa.abort                               09-Mar-2011 15:51                 298
816.cudf.caixa.log                                 09-Mar-2011 15:52                  65
816.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12370
816.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
817.cudf.caixa.abort                               09-Mar-2011 15:52                 298
817.cudf.caixa.log                                 09-Mar-2011 15:51                  65
817.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13327
817.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
818.cudf.caixa.abort                               09-Mar-2011 15:51                 298
818.cudf.caixa.log                                 09-Mar-2011 15:51                  65
818.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13985
818.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
819.cudf.caixa.abort                               09-Mar-2011 15:51                 298
819.cudf.caixa.log                                 09-Mar-2011 15:51                  65
819.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12800
819.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
820.cudf.caixa.abort                               09-Mar-2011 15:52                 298
820.cudf.caixa.log                                 09-Mar-2011 15:51                  65
820.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10645
820.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
821.cudf.caixa.abort                               09-Mar-2011 15:51                 298
821.cudf.caixa.log                                 09-Mar-2011 15:51                  65
821.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               14233
821.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
822.cudf.caixa.abort                               09-Mar-2011 15:51                 298
822.cudf.caixa.log                                 09-Mar-2011 15:51                  65
822.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13205
822.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
832.cudf.caixa.abort                               09-Mar-2011 15:51                 298
832.cudf.caixa.log                                 09-Mar-2011 15:51                  65
832.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13194
832.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
837.cudf.caixa.abort                               09-Mar-2011 15:52                 298
837.cudf.caixa.log                                 09-Mar-2011 15:51                  65
837.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13552
837.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
841.cudf.caixa.abort                               09-Mar-2011 15:52                 298
841.cudf.caixa.log                                 09-Mar-2011 15:51                  65
841.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12005
841.cudf.caixa.log.time                            09-Mar-2011 15:52                 205
843.cudf.caixa.abort                               09-Mar-2011 15:51                 298
843.cudf.caixa.log                                 09-Mar-2011 15:51                  65
843.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12882
843.cudf.caixa.log.time                            09-Mar-2011 15:51                 205
847.cudf.caixa.abort                               09-Mar-2011 15:51                 298
847.cudf.caixa.log                                 09-Mar-2011 15:51                  65
847.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               11990
847.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
855.cudf.caixa.abort                               09-Mar-2011 15:52                 298
855.cudf.caixa.log                                 09-Mar-2011 15:51                  65
855.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12026
855.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
856.cudf.caixa.abort                               09-Mar-2011 15:52                 298
856.cudf.caixa.log                                 09-Mar-2011 15:51                  65
856.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10646
856.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
858.cudf.caixa.abort                               09-Mar-2011 15:52                 298
858.cudf.caixa.log                                 09-Mar-2011 15:51                  65
858.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12019
858.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
868.cudf.caixa.abort                               09-Mar-2011 15:51                 298
868.cudf.caixa.log                                 09-Mar-2011 15:51                  65
868.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13205
868.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
869.cudf.caixa.abort                               09-Mar-2011 15:51                 298
869.cudf.caixa.log                                 09-Mar-2011 15:51                  65
869.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               10644
869.cudf.caixa.log.time                            09-Mar-2011 15:52                 202
873.cudf.caixa.abort                               09-Mar-2011 15:51                 298
873.cudf.caixa.log                                 09-Mar-2011 15:51                  65
873.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               14557
873.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51               19882
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 204
902.cudf.caixa.abort                               09-Mar-2011 15:52                 298
902.cudf.caixa.log                                 09-Mar-2011 15:52                  65
902.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12007
902.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
933.cudf.caixa.abort                               09-Mar-2011 15:51                 298
933.cudf.caixa.log                                 09-Mar-2011 15:52                  65
933.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               11997
933.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
937.cudf.caixa.abort                               09-Mar-2011 15:51                 298
937.cudf.caixa.log                                 09-Mar-2011 15:51                  65
937.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12158
937.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
944.cudf.caixa.abort                               09-Mar-2011 15:52                 298
944.cudf.caixa.log                                 09-Mar-2011 15:52                  65
944.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               12026
944.cudf.caixa.log.time                            09-Mar-2011 15:51                 203
947.cudf.caixa.abort                               09-Mar-2011 15:51                 298
947.cudf.caixa.log                                 09-Mar-2011 15:51                  65
947.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12005
947.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
948.cudf.caixa.abort                               09-Mar-2011 15:51                 298
948.cudf.caixa.log                                 09-Mar-2011 15:51                  65
948.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12002
948.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
950.cudf.caixa.abort                               09-Mar-2011 15:51                 298
950.cudf.caixa.log                                 09-Mar-2011 15:51                  65
950.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12849
950.cudf.caixa.log.time                            09-Mar-2011 15:52                 204
951.cudf.caixa.abort                               09-Mar-2011 15:52                 298
951.cudf.caixa.log                                 09-Mar-2011 15:52                  65
951.cudf.caixa.log.runsolver                       09-Mar-2011 15:52               13573
951.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 441
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 208
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               21141
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 204
990.cudf.caixa.abort                               09-Mar-2011 15:51                 298
990.cudf.caixa.log                                 09-Mar-2011 15:51                  65
990.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               13549
990.cudf.caixa.log.time                            09-Mar-2011 15:51                 202
991.cudf.caixa.abort                               09-Mar-2011 15:52                 298
991.cudf.caixa.log                                 09-Mar-2011 15:52                  65
991.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12670
991.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
992.cudf.caixa.abort                               09-Mar-2011 15:52                 298
992.cudf.caixa.log                                 09-Mar-2011 15:51                  65
992.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               10985
992.cudf.caixa.log.time                            09-Mar-2011 15:52                 203
993.cudf.caixa.abort                               09-Mar-2011 15:51                 298
993.cudf.caixa.log                                 09-Mar-2011 15:51                  65
993.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12330
993.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
995.cudf.caixa.abort                               09-Mar-2011 15:51                 298
995.cudf.caixa.log                                 09-Mar-2011 15:51                  65
995.cudf.caixa.log.runsolver                       09-Mar-2011 15:51               12352
995.cudf.caixa.log.time                            09-Mar-2011 15:51                 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               18911
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 204
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               21153
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 203
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51               19485
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                   0
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 601
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 368
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               21138
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                   0
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:51                 441
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52                 208
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52               19139
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52                 203
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 441
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 208
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52               18618
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:51                 203
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52                 441
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                 208
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52               20852
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:51                   0
rand102.cudf.heavy.abort                           09-Mar-2011 15:52                 357
rand102.cudf.heavy.log                             09-Mar-2011 15:51                 288
rand102.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               18957
rand102.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand133.cudf.heavy.abort                           09-Mar-2011 15:51                 667
rand133.cudf.heavy.log                             09-Mar-2011 15:52                 293
rand133.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               17772
rand133.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand151.cudf.heavy.abort                           09-Mar-2011 15:52                 712
rand151.cudf.heavy.log                             09-Mar-2011 15:52                 338
rand151.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               19135
rand151.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand171.cudf.heavy.abort                           09-Mar-2011 15:51                 607
rand171.cudf.heavy.log                             09-Mar-2011 15:51                 208
rand171.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               18819
rand171.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand190.cudf.heavy.abort                           09-Mar-2011 15:52                 712
rand190.cudf.heavy.log                             09-Mar-2011 15:52                 338
rand190.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               20344
rand190.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand239.cudf.heavy.abort                           09-Mar-2011 15:52                 607
rand239.cudf.heavy.log                             09-Mar-2011 15:51                 208
rand239.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               17443
rand239.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand327.cudf.heavy.abort                           09-Mar-2011 15:51                 712
rand327.cudf.heavy.log                             09-Mar-2011 15:51                 338
rand327.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               18631
rand327.cudf.heavy.log.time                        09-Mar-2011 15:51                 202
rand384.cudf.heavy.abort                           09-Mar-2011 15:51                 670
rand384.cudf.heavy.log                             09-Mar-2011 15:52                 271
rand384.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               13783
rand384.cudf.heavy.log.time                        09-Mar-2011 15:51                 203
rand384.cudf.heavy.result.bz2                      09-Mar-2011 15:52                 136
rand4.cudf.heavy.error                             09-Mar-2011 15:52               11390
rand4.cudf.heavy.log                               09-Mar-2011 15:51               11022
rand4.cudf.heavy.log.runsolver                     09-Mar-2011 15:51               17526
rand4.cudf.heavy.log.time                          09-Mar-2011 15:51                 202
rand4.cudf.heavy.result.bz2                        09-Mar-2011 15:51               37590
rand469.cudf.heavy.abort                           09-Mar-2011 15:52                 849
rand469.cudf.heavy.log                             09-Mar-2011 15:52                 338
rand469.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               19293
rand469.cudf.heavy.log.time                        09-Mar-2011 15:51                   0
rand565.cudf.heavy.abort                           09-Mar-2011 15:51                 737
rand565.cudf.heavy.log                             09-Mar-2011 15:52                 338
rand565.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               18925
rand565.cudf.heavy.log.time                        09-Mar-2011 15:51                 203
rand601.cudf.heavy.abort                           09-Mar-2011 15:51                 737
rand601.cudf.heavy.log                             09-Mar-2011 15:51                 338
rand601.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               18942
rand601.cudf.heavy.log.time                        09-Mar-2011 15:51                   0
rand614.cudf.heavy.abort                           09-Mar-2011 15:52                 737
rand614.cudf.heavy.log                             09-Mar-2011 15:52                 338
rand614.cudf.heavy.log.runsolver                   09-Mar-2011 15:52               19491
rand614.cudf.heavy.log.time                        09-Mar-2011 15:52                   0
rand64.cudf.heavy.abort                            09-Mar-2011 15:51                 607
rand64.cudf.heavy.log                              09-Mar-2011 15:52                 208
rand64.cudf.heavy.log.runsolver                    09-Mar-2011 15:52               19202
rand64.cudf.heavy.log.time                         09-Mar-2011 15:51                 203
rand67.cudf.heavy.abort                            09-Mar-2011 15:51                 711
rand67.cudf.heavy.log                              09-Mar-2011 15:51                 337
rand67.cudf.heavy.log.runsolver                    09-Mar-2011 15:51               18074
rand67.cudf.heavy.log.time                         09-Mar-2011 15:52                   0
rand91.cudf.heavy.abort                            09-Mar-2011 15:51                 607
rand91.cudf.heavy.log                              09-Mar-2011 15:52                 208
rand91.cudf.heavy.log.runsolver                    09-Mar-2011 15:51               19130
rand91.cudf.heavy.log.time                         09-Mar-2011 15:51                 203
rand948.cudf.heavy.abort                           09-Mar-2011 15:51                 582
rand948.cudf.heavy.log                             09-Mar-2011 15:52                 208
rand948.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               18045
rand948.cudf.heavy.log.time                        09-Mar-2011 15:52                 203
rand952.cudf.heavy.error                           09-Mar-2011 15:51                4914
rand952.cudf.heavy.log                             09-Mar-2011 15:51                4546
rand952.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               19132
rand952.cudf.heavy.log.time                        09-Mar-2011 15:52                 202
rand952.cudf.heavy.result.bz2                      09-Mar-2011 15:52               40517
rand957.cudf.heavy.abort                           09-Mar-2011 15:52                 924
rand957.cudf.heavy.log                             09-Mar-2011 15:51                 413
rand957.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               18033
rand957.cudf.heavy.log.time                        09-Mar-2011 15:51                 203
rand967.cudf.heavy.abort                           09-Mar-2011 15:52                 737
rand967.cudf.heavy.log                             09-Mar-2011 15:51                 338
rand967.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               18356
rand967.cudf.heavy.log.time                        09-Mar-2011 15:52                   0
rand992.cudf.heavy.abort                           09-Mar-2011 15:51                 811
rand992.cudf.heavy.log                             09-Mar-2011 15:52                 412
rand992.cudf.heavy.log.runsolver                   09-Mar-2011 15:51               20270
rand992.cudf.heavy.log.time                        09-Mar-2011 15:51                 203