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


../
1.cudf.caixa.abort                                 11-Mar-2011 16:18                 134
1.cudf.caixa.log                                   11-Mar-2011 16:19                  65
1.cudf.caixa.log.runsolver                         11-Mar-2011 16:19               11729
1.cudf.caixa.log.time                              11-Mar-2011 16:18                 204
1016.cudf.caixa.abort                              11-Mar-2011 16:18                 425
1016.cudf.caixa.log                                11-Mar-2011 16:18                  65
1016.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13825
1016.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1018.cudf.caixa.abort                              11-Mar-2011 16:18                 431
1018.cudf.caixa.log                                11-Mar-2011 16:18                  65
1018.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14503
1018.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1021.cudf.caixa.abort                              11-Mar-2011 16:18                 418
1021.cudf.caixa.log                                11-Mar-2011 16:18                  65
1021.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13448
1021.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
103.cudf.caixa.abort                               11-Mar-2011 16:18                 440
103.cudf.caixa.log                                 11-Mar-2011 16:18                  65
103.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12244
103.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
1034.cudf.caixa.abort                              11-Mar-2011 16:18                 443
1034.cudf.caixa.log                                11-Mar-2011 16:18                  65
1034.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12152
1034.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1037.cudf.caixa.abort                              11-Mar-2011 16:18                 418
1037.cudf.caixa.log                                11-Mar-2011 16:18                  65
1037.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14505
1037.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1041.cudf.caixa.abort                              11-Mar-2011 16:18                 465
1041.cudf.caixa.log                                11-Mar-2011 16:18                  65
1041.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10883
1041.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1047.cudf.caixa.abort                              11-Mar-2011 16:18                 439
1047.cudf.caixa.log                                11-Mar-2011 16:18                  65
1047.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12059
1047.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1066.cudf.caixa.abort                              11-Mar-2011 16:18                 440
1066.cudf.caixa.log                                11-Mar-2011 16:18                  65
1066.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13836
1066.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1067.cudf.caixa.abort                              11-Mar-2011 16:18                 441
1067.cudf.caixa.log                                11-Mar-2011 16:18                  65
1067.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13062
1067.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1068.cudf.caixa.abort                              11-Mar-2011 16:19                 439
1068.cudf.caixa.log                                11-Mar-2011 16:18                  65
1068.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13625
1068.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1075.cudf.caixa.abort                              11-Mar-2011 16:18                 441
1075.cudf.caixa.log                                11-Mar-2011 16:19                  65
1075.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10714
1075.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1077.cudf.caixa.abort                              11-Mar-2011 16:18                 441
1077.cudf.caixa.log                                11-Mar-2011 16:18                  65
1077.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13118
1077.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1078.cudf.caixa.abort                              11-Mar-2011 16:18                 630
1078.cudf.caixa.log                                11-Mar-2011 16:18                  65
1078.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12239
1078.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1082.cudf.caixa.abort                              11-Mar-2011 16:18                 439
1082.cudf.caixa.log                                11-Mar-2011 16:18                  65
1082.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13448
1082.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
1084.cudf.caixa.abort                              11-Mar-2011 16:18                 417
1084.cudf.caixa.log                                11-Mar-2011 16:18                  65
1084.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10836
1084.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
1092.cudf.caixa.abort                              11-Mar-2011 16:18                 431
1092.cudf.caixa.log                                11-Mar-2011 16:18                  65
1092.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13784
1092.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1093.cudf.caixa.abort                              11-Mar-2011 16:19                 630
1093.cudf.caixa.log                                11-Mar-2011 16:18                  65
1093.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10834
1093.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1094.cudf.caixa.abort                              11-Mar-2011 16:18                 431
1094.cudf.caixa.log                                11-Mar-2011 16:18                  65
1094.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12395
1094.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
1095.cudf.caixa.abort                              11-Mar-2011 16:18                 442
1095.cudf.caixa.log                                11-Mar-2011 16:18                  65
1095.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10837
1095.cudf.caixa.log.time                           11-Mar-2011 16:18                 202
1096.cudf.caixa.abort                              11-Mar-2011 16:18                 418
1096.cudf.caixa.log                                11-Mar-2011 16:18                  65
1096.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               10833
1096.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1097.cudf.caixa.abort                              11-Mar-2011 16:18                 464
1097.cudf.caixa.log                                11-Mar-2011 16:18                  65
1097.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10838
1097.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
1098.cudf.caixa.abort                              11-Mar-2011 16:18                 440
1098.cudf.caixa.log                                11-Mar-2011 16:18                  65
1098.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12056
1098.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1108.cudf.caixa.abort                              11-Mar-2011 16:18                 415
1108.cudf.caixa.log                                11-Mar-2011 16:18                  65
1108.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13235
1108.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
1109.cudf.caixa.abort                              11-Mar-2011 16:18                 433
1109.cudf.caixa.log                                11-Mar-2011 16:18                  65
1109.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12060
1109.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
1124.cudf.caixa.abort                              11-Mar-2011 16:18                 418
1124.cudf.caixa.log                                11-Mar-2011 16:18                  65
1124.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12244
1124.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1125.cudf.caixa.abort                              11-Mar-2011 16:18                 450
1125.cudf.caixa.log                                11-Mar-2011 16:18                  65
1125.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10321
1125.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1126.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1126.cudf.caixa.log                                11-Mar-2011 16:19                  65
1126.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12258
1126.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1128.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1128.cudf.caixa.log                                11-Mar-2011 16:19                  65
1128.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12935
1128.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1131.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1131.cudf.caixa.log                                11-Mar-2011 16:18                  65
1131.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13121
1131.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1143.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1143.cudf.caixa.log                                11-Mar-2011 16:19                  65
1143.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12375
1143.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1144.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1144.cudf.caixa.log                                11-Mar-2011 16:18                  65
1144.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13802
1144.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1152.cudf.caixa.abort                              11-Mar-2011 16:19                 300
1152.cudf.caixa.log                                11-Mar-2011 16:18                  65
1152.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12446
1152.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1164.cudf.caixa.abort                              11-Mar-2011 16:19                 300
1164.cudf.caixa.log                                11-Mar-2011 16:18                  65
1164.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13425
1164.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1194.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1194.cudf.caixa.log                                11-Mar-2011 16:18                  65
1194.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10836
1194.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
120.cudf.caixa.abort                               11-Mar-2011 16:18                 300
120.cudf.caixa.log                                 11-Mar-2011 16:18                  65
120.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11702
120.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
121.cudf.caixa.abort                               11-Mar-2011 16:18                 300
121.cudf.caixa.log                                 11-Mar-2011 16:18                  65
121.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12238
121.cudf.caixa.log.time                            11-Mar-2011 16:18                 202
122.cudf.caixa.abort                               11-Mar-2011 16:18                 300
122.cudf.caixa.log                                 11-Mar-2011 16:18                  65
122.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               11703
122.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
1231.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1231.cudf.caixa.log                                11-Mar-2011 16:18                  65
1231.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12573
1231.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
1238.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1238.cudf.caixa.log                                11-Mar-2011 16:18                  65
1238.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12042
1238.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1239.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1239.cudf.caixa.log                                11-Mar-2011 16:18                  65
1239.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11168
1239.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1243.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1243.cudf.caixa.log                                11-Mar-2011 16:18                  65
1243.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13453
1243.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1262.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1262.cudf.caixa.log                                11-Mar-2011 16:18                  65
1262.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14840
1262.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
1265.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1265.cudf.caixa.log                                11-Mar-2011 16:19                  65
1265.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13457
1265.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
1300.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1300.cudf.caixa.log                                11-Mar-2011 16:18                  65
1300.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13457
1300.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
131.cudf.caixa.abort                               11-Mar-2011 16:18                 300
131.cudf.caixa.log                                 11-Mar-2011 16:18                  65
131.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12926
131.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
132.cudf.caixa.abort                               11-Mar-2011 16:18                 300
132.cudf.caixa.log                                 11-Mar-2011 16:18                  65
132.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12394
132.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
1335.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1335.cudf.caixa.log                                11-Mar-2011 16:18                  65
1335.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12035
1335.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1336.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1336.cudf.caixa.log                                11-Mar-2011 16:18                  65
1336.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15523
1336.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1337.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1337.cudf.caixa.log                                11-Mar-2011 16:18                  65
1337.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12579
1337.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1362.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1362.cudf.caixa.log                                11-Mar-2011 16:18                  65
1362.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12579
1362.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1365.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1365.cudf.caixa.log                                11-Mar-2011 16:18                  65
1365.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12041
1365.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1366.cudf.caixa.abort                              11-Mar-2011 16:19                 300
1366.cudf.caixa.log                                11-Mar-2011 16:18                  65
1366.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12578
1366.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1369.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1369.cudf.caixa.log                                11-Mar-2011 16:18                  65
1369.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11168
1369.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1378.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1378.cudf.caixa.log                                11-Mar-2011 16:18                  65
1378.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13965
1378.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
140.cudf.caixa.abort                               11-Mar-2011 16:19                 300
140.cudf.caixa.log                                 11-Mar-2011 16:18                  65
140.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12244
140.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
1468.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1468.cudf.caixa.log                                11-Mar-2011 16:18                  65
1468.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12587
1468.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1481.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1481.cudf.caixa.log                                11-Mar-2011 16:19                  65
1481.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10527
1481.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
150.cudf.caixa.abort                               11-Mar-2011 16:19                 300
150.cudf.caixa.log                                 11-Mar-2011 16:18                  65
150.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               10832
150.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
1596.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1596.cudf.caixa.log                                11-Mar-2011 16:18                  65
1596.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11072
1596.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1602.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1602.cudf.caixa.log                                11-Mar-2011 16:18                  65
1602.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14808
1602.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
1617.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1617.cudf.caixa.log                                11-Mar-2011 16:18                  65
1617.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13809
1617.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1627.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1627.cudf.caixa.log                                11-Mar-2011 16:18                  65
1627.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10837
1627.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1641.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1641.cudf.caixa.log                                11-Mar-2011 16:18                  65
1641.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13806
1641.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1647.cudf.caixa.abort                              11-Mar-2011 16:19                 300
1647.cudf.caixa.log                                11-Mar-2011 16:18                  65
1647.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12241
1647.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
1651.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1651.cudf.caixa.log                                11-Mar-2011 16:18                  65
1651.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10837
1651.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1654.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1654.cudf.caixa.log                                11-Mar-2011 16:19                  65
1654.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14498
1654.cudf.caixa.log.time                           11-Mar-2011 16:19                 203
1655.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1655.cudf.caixa.log                                11-Mar-2011 16:18                  65
1655.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12937
1655.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1657.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1657.cudf.caixa.log                                11-Mar-2011 16:18                  65
1657.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12442
1657.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
167.cudf.caixa.abort                               11-Mar-2011 16:18                 300
167.cudf.caixa.log                                 11-Mar-2011 16:18                  65
167.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12244
167.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
1670.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1670.cudf.caixa.log                                11-Mar-2011 16:18                  65
1670.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12247
1670.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
168.cudf.caixa.abort                               11-Mar-2011 16:18                 300
168.cudf.caixa.log                                 11-Mar-2011 16:18                  65
168.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14140
168.cudf.caixa.log.time                            11-Mar-2011 16:19                 205
1682.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1682.cudf.caixa.log                                11-Mar-2011 16:18                  65
1682.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12240
1682.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1687.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1687.cudf.caixa.log                                11-Mar-2011 16:18                  65
1687.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13269
1687.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
169.cudf.caixa.abort                               11-Mar-2011 16:18                 300
169.cudf.caixa.log                                 11-Mar-2011 16:18                  65
169.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12721
169.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
1691.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1691.cudf.caixa.log                                11-Mar-2011 16:18                  65
1691.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11702
1691.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
170.cudf.caixa.abort                               11-Mar-2011 16:18                 300
170.cudf.caixa.log                                 11-Mar-2011 16:18                  65
170.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14126
170.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
1717.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1717.cudf.caixa.log                                11-Mar-2011 16:19                  65
1717.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15515
1717.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1719.cudf.caixa.abort                              11-Mar-2011 16:19                 300
1719.cudf.caixa.log                                11-Mar-2011 16:18                  65
1719.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12027
1719.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1720.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1720.cudf.caixa.log                                11-Mar-2011 16:18                  65
1720.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13436
1720.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1722.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1722.cudf.caixa.log                                11-Mar-2011 16:18                  65
1722.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13949
1722.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
1723.cudf.caixa.abort                              11-Mar-2011 16:18                 300
1723.cudf.caixa.log                                11-Mar-2011 16:18                  65
1723.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13791
1723.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
173.cudf.caixa.abort                               11-Mar-2011 16:18                 300
173.cudf.caixa.log                                 11-Mar-2011 16:18                  65
173.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13256
173.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
174.cudf.caixa.abort                               11-Mar-2011 16:18                 300
174.cudf.caixa.log                                 11-Mar-2011 16:18                  65
174.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14818
174.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
176.cudf.caixa.abort                               11-Mar-2011 16:18                 300
176.cudf.caixa.log                                 11-Mar-2011 16:18                  65
176.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14124
176.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
178.cudf.caixa.abort                               11-Mar-2011 16:18                 300
178.cudf.caixa.log                                 11-Mar-2011 16:19                  65
178.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11730
178.cudf.caixa.log.time                            11-Mar-2011 16:19                 205
19.cudf.caixa.abort                                11-Mar-2011 16:18                 300
19.cudf.caixa.log                                  11-Mar-2011 16:18                  65
19.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               13438
19.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
195.cudf.caixa.abort                               11-Mar-2011 16:18                 300
195.cudf.caixa.log                                 11-Mar-2011 16:18                  65
195.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13436
195.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19                 443
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19               21195
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               21582
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               20357
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
23.cudf.caixa.abort                                11-Mar-2011 16:18                 300
23.cudf.caixa.log                                  11-Mar-2011 16:18                  65
23.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12227
23.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
25.cudf.caixa.abort                                11-Mar-2011 16:19                 300
25.cudf.caixa.log                                  11-Mar-2011 16:18                  65
25.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12826
25.cudf.caixa.log.time                             11-Mar-2011 16:18                 205
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 443
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               21226
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                   0
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               19986
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               21568
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
30.cudf.caixa.abort                                11-Mar-2011 16:18                 300
30.cudf.caixa.log                                  11-Mar-2011 16:19                  65
30.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               13605
30.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
33.cudf.caixa.abort                                11-Mar-2011 16:18                 300
33.cudf.caixa.log                                  11-Mar-2011 16:18                  65
33.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               10637
33.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
3343.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3343.cudf.caixa.log                                11-Mar-2011 16:18                  65
3343.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9930
3343.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3362.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3362.cudf.caixa.log                                11-Mar-2011 16:18                  65
3362.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13949
3362.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
3363.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3363.cudf.caixa.log                                11-Mar-2011 16:18                  65
3363.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10828
3363.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3368.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3368.cudf.caixa.log                                11-Mar-2011 16:18                  65
3368.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9956
3368.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
36.cudf.caixa.abort                                11-Mar-2011 16:18                 300
36.cudf.caixa.log                                  11-Mar-2011 16:18                  65
36.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12229
36.cudf.caixa.log.time                             11-Mar-2011 16:18                 205
3674.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3674.cudf.caixa.log                                11-Mar-2011 16:18                  65
3674.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               11055
3674.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3825.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3825.cudf.caixa.log                                11-Mar-2011 16:18                  65
3825.cudf.caixa.log.runsolver                      11-Mar-2011 16:19                9990
3825.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3826.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3826.cudf.caixa.log                                11-Mar-2011 16:18                  65
3826.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14296
3826.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3842.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3842.cudf.caixa.log                                11-Mar-2011 16:18                  65
3842.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12611
3842.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3846.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3846.cudf.caixa.log                                11-Mar-2011 16:19                  65
3846.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12893
3846.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3848.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3848.cudf.caixa.log                                11-Mar-2011 16:18                  65
3848.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12682
3848.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3851.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3851.cudf.caixa.log                                11-Mar-2011 16:18                  65
3851.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13268
3851.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3857.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3857.cudf.caixa.log                                11-Mar-2011 16:19                  65
3857.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11340
3857.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
3863.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3863.cudf.caixa.log                                11-Mar-2011 16:18                  65
3863.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13615
3863.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3866.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3866.cudf.caixa.log                                11-Mar-2011 16:18                  65
3866.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13613
3866.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3867.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3867.cudf.caixa.log                                11-Mar-2011 16:18                  65
3867.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13043
3867.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3868.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3868.cudf.caixa.log                                11-Mar-2011 16:18                  65
3868.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14097
3868.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3869.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3869.cudf.caixa.log                                11-Mar-2011 16:18                  65
3869.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12539
3869.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3870.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3870.cudf.caixa.log                                11-Mar-2011 16:18                  65
3870.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14820
3870.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3871.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3871.cudf.caixa.log                                11-Mar-2011 16:18                  65
3871.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14692
3871.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3872.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3872.cudf.caixa.log                                11-Mar-2011 16:18                  65
3872.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14104
3872.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3873.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3873.cudf.caixa.log                                11-Mar-2011 16:18                  65
3873.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11029
3873.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3874.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3874.cudf.caixa.log                                11-Mar-2011 16:18                  65
3874.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15503
3874.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3875.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3875.cudf.caixa.log                                11-Mar-2011 16:18                  65
3875.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12539
3875.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3876.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3876.cudf.caixa.log                                11-Mar-2011 16:18                  65
3876.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12599
3876.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3881.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3881.cudf.caixa.log                                11-Mar-2011 16:19                  65
3881.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15516
3881.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3884.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3884.cudf.caixa.log                                11-Mar-2011 16:18                  65
3884.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13176
3884.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3885.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3885.cudf.caixa.log                                11-Mar-2011 16:18                  65
3885.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13615
3885.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3887.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3887.cudf.caixa.log                                11-Mar-2011 16:18                  65
3887.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13612
3887.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3888.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3888.cudf.caixa.log                                11-Mar-2011 16:18                  65
3888.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15178
3888.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
3889.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3889.cudf.caixa.log                                11-Mar-2011 16:18                  65
3889.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12205
3889.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3890.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3890.cudf.caixa.log                                11-Mar-2011 16:18                  65
3890.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14483
3890.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
3891.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3891.cudf.caixa.log                                11-Mar-2011 16:18                  65
3891.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12213
3891.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3894.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3894.cudf.caixa.log                                11-Mar-2011 16:18                  65
3894.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15183
3894.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3896.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3896.cudf.caixa.log                                11-Mar-2011 16:19                  65
3896.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12403
3896.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3898.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3898.cudf.caixa.log                                11-Mar-2011 16:18                  65
3898.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12735
3898.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
39.cudf.caixa.abort                                11-Mar-2011 16:18                 300
39.cudf.caixa.log                                  11-Mar-2011 16:18                  65
39.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12049
39.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
3906.cudf.caixa.abort                              11-Mar-2011 16:19                 300
3906.cudf.caixa.log                                11-Mar-2011 16:19                  65
3906.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15173
3906.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3907.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3907.cudf.caixa.log                                11-Mar-2011 16:18                  65
3907.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15179
3907.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
3908.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3908.cudf.caixa.log                                11-Mar-2011 16:18                  65
3908.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11520
3908.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3909.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3909.cudf.caixa.log                                11-Mar-2011 16:18                  65
3909.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13775
3909.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
3910.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3910.cudf.caixa.log                                11-Mar-2011 16:18                  65
3910.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14485
3910.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
3911.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3911.cudf.caixa.log                                11-Mar-2011 16:18                  65
3911.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13615
3911.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3912.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3912.cudf.caixa.log                                11-Mar-2011 16:18                  65
3912.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13765
3912.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3913.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3913.cudf.caixa.log                                11-Mar-2011 16:18                  65
3913.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11767
3913.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3915.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3915.cudf.caixa.log                                11-Mar-2011 16:18                  65
3915.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13620
3915.cudf.caixa.log.time                           11-Mar-2011 16:19                 202
3916.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3916.cudf.caixa.log                                11-Mar-2011 16:18                  65
3916.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12932
3916.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3919.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3919.cudf.caixa.log                                11-Mar-2011 16:18                  65
3919.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12203
3919.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3921.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3921.cudf.caixa.log                                11-Mar-2011 16:18                  65
3921.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13617
3921.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3922.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3922.cudf.caixa.log                                11-Mar-2011 16:18                  65
3922.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12056
3922.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3923.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3923.cudf.caixa.log                                11-Mar-2011 16:18                  65
3923.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9104
3923.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3924.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3924.cudf.caixa.log                                11-Mar-2011 16:18                  65
3924.cudf.caixa.log.runsolver                      11-Mar-2011 16:19                9809
3924.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3925.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3925.cudf.caixa.log                                11-Mar-2011 16:19                  65
3925.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               10649
3925.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3926.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3926.cudf.caixa.log                                11-Mar-2011 16:18                  65
3926.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14526
3926.cudf.caixa.log.time                           11-Mar-2011 16:18                 247
3929.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3929.cudf.caixa.log                                11-Mar-2011 16:18                  65
3929.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9833
3929.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3930.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3930.cudf.caixa.log                                11-Mar-2011 16:18                  65
3930.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10524
3930.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3931.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3931.cudf.caixa.log                                11-Mar-2011 16:18                  65
3931.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15166
3931.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3934.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3934.cudf.caixa.log                                11-Mar-2011 16:18                  65
3934.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15178
3934.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3936.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3936.cudf.caixa.log                                11-Mar-2011 16:18                  65
3936.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12232
3936.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3938.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3938.cudf.caixa.log                                11-Mar-2011 16:18                  65
3938.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13939
3938.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
3939.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3939.cudf.caixa.log                                11-Mar-2011 16:18                  65
3939.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               14146
3939.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
3940.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3940.cudf.caixa.log                                11-Mar-2011 16:18                  65
3940.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12206
3940.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3941.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3941.cudf.caixa.log                                11-Mar-2011 16:18                  65
3941.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13611
3941.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3944.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3944.cudf.caixa.log                                11-Mar-2011 16:18                  65
3944.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12247
3944.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3946.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3946.cudf.caixa.log                                11-Mar-2011 16:18                  65
3946.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12538
3946.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3948.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3948.cudf.caixa.log                                11-Mar-2011 16:18                  65
3948.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               15509
3948.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3999.cudf.caixa.abort                              11-Mar-2011 16:18                 300
3999.cudf.caixa.log                                11-Mar-2011 16:18                  65
3999.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                7551
3999.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:19                 605
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18                 370
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18               20390
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18                 204
40.cudf.caixa.abort                                11-Mar-2011 16:18                 300
40.cudf.caixa.log                                  11-Mar-2011 16:18                  65
40.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12196
40.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
4000.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4000.cudf.caixa.log                                11-Mar-2011 16:18                  65
4000.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13080
4000.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4001.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4001.cudf.caixa.log                                11-Mar-2011 16:18                  65
4001.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12343
4001.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4002.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4002.cudf.caixa.log                                11-Mar-2011 16:18                  65
4002.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11514
4002.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4003.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4003.cudf.caixa.log                                11-Mar-2011 16:18                  65
4003.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12207
4003.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4004.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4004.cudf.caixa.log                                11-Mar-2011 16:18                  65
4004.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15179
4004.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4006.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4006.cudf.caixa.log                                11-Mar-2011 16:18                  65
4006.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10532
4006.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4007.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4007.cudf.caixa.log                                11-Mar-2011 16:18                  65
4007.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9834
4007.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4008.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4008.cudf.caixa.log                                11-Mar-2011 16:18                  65
4008.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12919
4008.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4009.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4009.cudf.caixa.log                                11-Mar-2011 16:18                  65
4009.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13620
4009.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4011.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4011.cudf.caixa.log                                11-Mar-2011 16:18                  65
4011.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10870
4011.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4012.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4012.cudf.caixa.log                                11-Mar-2011 16:18                  65
4012.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11931
4012.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4013.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4013.cudf.caixa.log                                11-Mar-2011 16:19                  65
4013.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15185
4013.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4015.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4015.cudf.caixa.log                                11-Mar-2011 16:18                  65
4015.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12213
4015.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4016.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4016.cudf.caixa.log                                11-Mar-2011 16:18                  65
4016.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12204
4016.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4017.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4017.cudf.caixa.log                                11-Mar-2011 16:18                  65
4017.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12260
4017.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4018.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4018.cudf.caixa.log                                11-Mar-2011 16:18                  65
4018.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11525
4018.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4019.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4019.cudf.caixa.log                                11-Mar-2011 16:18                  65
4019.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13601
4019.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
4020.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4020.cudf.caixa.log                                11-Mar-2011 16:18                  65
4020.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12922
4020.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4021.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4021.cudf.caixa.log                                11-Mar-2011 16:18                  65
4021.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11288
4021.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4022.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4022.cudf.caixa.log                                11-Mar-2011 16:19                  65
4022.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11519
4022.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4023.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4023.cudf.caixa.log                                11-Mar-2011 16:19                  65
4023.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12076
4023.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4024.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4024.cudf.caixa.log                                11-Mar-2011 16:18                  65
4024.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12221
4024.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4025.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4025.cudf.caixa.log                                11-Mar-2011 16:18                  65
4025.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13411
4025.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4026.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4026.cudf.caixa.log                                11-Mar-2011 16:18                  65
4026.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13969
4026.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4027.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4027.cudf.caixa.log                                11-Mar-2011 16:18                  65
4027.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14006
4027.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4028.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4028.cudf.caixa.log                                11-Mar-2011 16:18                  65
4028.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12229
4028.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4029.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4029.cudf.caixa.log                                11-Mar-2011 16:18                  65
4029.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13585
4029.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4030.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4030.cudf.caixa.log                                11-Mar-2011 16:18                  65
4030.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14492
4030.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4031.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4031.cudf.caixa.log                                11-Mar-2011 16:18                  65
4031.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14535
4031.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4032.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4032.cudf.caixa.log                                11-Mar-2011 16:18                  65
4032.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13125
4032.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4033.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4033.cudf.caixa.log                                11-Mar-2011 16:18                  65
4033.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14125
4033.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4034.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4034.cudf.caixa.log                                11-Mar-2011 16:18                  65
4034.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13968
4034.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4035.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4035.cudf.caixa.log                                11-Mar-2011 16:18                  65
4035.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11711
4035.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
4036.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4036.cudf.caixa.log                                11-Mar-2011 16:18                  65
4036.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13614
4036.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4037.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4037.cudf.caixa.log                                11-Mar-2011 16:18                  65
4037.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14131
4037.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4038.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4038.cudf.caixa.log                                11-Mar-2011 16:18                  65
4038.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10547
4038.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4039.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4039.cudf.caixa.log                                11-Mar-2011 16:18                  65
4039.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               12551
4039.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4040.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4040.cudf.caixa.log                                11-Mar-2011 16:18                  65
4040.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12565
4040.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4041.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4041.cudf.caixa.log                                11-Mar-2011 16:18                  65
4041.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               11163
4041.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4042.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4042.cudf.caixa.log                                11-Mar-2011 16:19                  65
4042.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14874
4042.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
4043.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4043.cudf.caixa.log                                11-Mar-2011 16:18                  65
4043.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14811
4043.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4044.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4044.cudf.caixa.log                                11-Mar-2011 16:18                  65
4044.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12232
4044.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4045.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4045.cudf.caixa.log                                11-Mar-2011 16:18                  65
4045.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14822
4045.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4046.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4046.cudf.caixa.log                                11-Mar-2011 16:18                  65
4046.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               14821
4046.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4047.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4047.cudf.caixa.log                                11-Mar-2011 16:18                  65
4047.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14117
4047.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4048.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4048.cudf.caixa.log                                11-Mar-2011 16:18                  65
4048.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11846
4048.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4049.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4049.cudf.caixa.log                                11-Mar-2011 16:18                  65
4049.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13262
4049.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
4050.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4050.cudf.caixa.log                                11-Mar-2011 16:18                  65
4050.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11351
4050.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4051.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4051.cudf.caixa.log                                11-Mar-2011 16:18                  65
4051.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12540
4051.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4052.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4052.cudf.caixa.log                                11-Mar-2011 16:18                  65
4052.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14126
4052.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4054.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4054.cudf.caixa.log                                11-Mar-2011 16:18                  65
4054.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13276
4054.cudf.caixa.log.time                           11-Mar-2011 16:18                 202
4060.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4060.cudf.caixa.log                                11-Mar-2011 16:18                  65
4060.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12545
4060.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4061.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4061.cudf.caixa.log                                11-Mar-2011 16:18                  65
4061.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               13263
4061.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4062.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4062.cudf.caixa.log                                11-Mar-2011 16:18                  65
4062.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13983
4062.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4063.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4063.cudf.caixa.log                                11-Mar-2011 16:18                  65
4063.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11166
4063.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4064.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4064.cudf.caixa.log                                11-Mar-2011 16:18                  65
4064.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13948
4064.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4065.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4065.cudf.caixa.log                                11-Mar-2011 16:18                  65
4065.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15402
4065.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4066.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4066.cudf.caixa.log                                11-Mar-2011 16:18                  65
4066.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13262
4066.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4067.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4067.cudf.caixa.log                                11-Mar-2011 16:18                  65
4067.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13435
4067.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4068.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4068.cudf.caixa.log                                11-Mar-2011 16:18                  65
4068.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15506
4068.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4069.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4069.cudf.caixa.log                                11-Mar-2011 16:18                  65
4069.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               10493
4069.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
4070.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4070.cudf.caixa.log                                11-Mar-2011 16:19                  65
4070.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12569
4070.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
4071.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4071.cudf.caixa.log                                11-Mar-2011 16:18                  65
4071.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12049
4071.cudf.caixa.log.time                           11-Mar-2011 16:19                 205
4074.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4074.cudf.caixa.log                                11-Mar-2011 16:18                  65
4074.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12953
4074.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4076.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4076.cudf.caixa.log                                11-Mar-2011 16:18                  65
4076.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13436
4076.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4077.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4077.cudf.caixa.log                                11-Mar-2011 16:18                  65
4077.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11360
4077.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4078.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4078.cudf.caixa.log                                11-Mar-2011 16:18                  65
4078.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10860
4078.cudf.caixa.log.time                           11-Mar-2011 16:19                 204
4079.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4079.cudf.caixa.log                                11-Mar-2011 16:18                  65
4079.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9975
4079.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4080.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4080.cudf.caixa.log                                11-Mar-2011 16:18                  65
4080.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10517
4080.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4082.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4082.cudf.caixa.log                                11-Mar-2011 16:19                  65
4082.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               15477
4082.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4083.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4083.cudf.caixa.log                                11-Mar-2011 16:18                  65
4083.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               14691
4083.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4084.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4084.cudf.caixa.log                                11-Mar-2011 16:19                  65
4084.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               14472
4084.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4085.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4085.cudf.caixa.log                                11-Mar-2011 16:18                  65
4085.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11354
4085.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4086.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4086.cudf.caixa.log                                11-Mar-2011 16:19                  65
4086.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11361
4086.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4087.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4087.cudf.caixa.log                                11-Mar-2011 16:18                  65
4087.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10643
4087.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4088.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4088.cudf.caixa.log                                11-Mar-2011 16:18                  65
4088.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12828
4088.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4089.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4089.cudf.caixa.log                                11-Mar-2011 16:18                  65
4089.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13617
4089.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4090.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4090.cudf.caixa.log                                11-Mar-2011 16:18                  65
4090.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                9291
4090.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4091.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4091.cudf.caixa.log                                11-Mar-2011 16:18                  65
4091.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               10162
4091.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4092.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4092.cudf.caixa.log                                11-Mar-2011 16:18                  65
4092.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               14538
4092.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4110.cudf.caixa.abort                              11-Mar-2011 16:19                 300
4110.cudf.caixa.log                                11-Mar-2011 16:18                  65
4110.cudf.caixa.log.runsolver                      11-Mar-2011 16:19               16089
4110.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4113.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4113.cudf.caixa.log                                11-Mar-2011 16:18                  65
4113.cudf.caixa.log.runsolver                      11-Mar-2011 16:18                8752
4113.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4114.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4114.cudf.caixa.log                                11-Mar-2011 16:18                  65
4114.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11015
4114.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4115.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4115.cudf.caixa.log                                11-Mar-2011 16:18                  65
4115.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10157
4115.cudf.caixa.log.time                           11-Mar-2011 16:18                 203
4116.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4116.cudf.caixa.log                                11-Mar-2011 16:18                  65
4116.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11031
4116.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4117.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4117.cudf.caixa.log                                11-Mar-2011 16:19                  65
4117.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11012
4117.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4119.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4119.cudf.caixa.log                                11-Mar-2011 16:18                  65
4119.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               12438
4119.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4121.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4121.cudf.caixa.log                                11-Mar-2011 16:18                  65
4121.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               13434
4121.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
4122.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4122.cudf.caixa.log                                11-Mar-2011 16:18                  65
4122.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               10824
4122.cudf.caixa.log.time                           11-Mar-2011 16:18                 204
4123.cudf.caixa.abort                              11-Mar-2011 16:18                 300
4123.cudf.caixa.log                                11-Mar-2011 16:18                  65
4123.cudf.caixa.log.runsolver                      11-Mar-2011 16:18               11355
4123.cudf.caixa.log.time                           11-Mar-2011 16:18                 205
42.cudf.caixa.abort                                11-Mar-2011 16:18                 300
42.cudf.caixa.log                                  11-Mar-2011 16:18                  65
42.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12052
42.cudf.caixa.log.time                             11-Mar-2011 16:18                 205
43.cudf.caixa.abort                                11-Mar-2011 16:18                 300
43.cudf.caixa.log                                  11-Mar-2011 16:18                  65
43.cudf.caixa.log.runsolver                        11-Mar-2011 16:18                9951
43.cudf.caixa.log.time                             11-Mar-2011 16:18                 205
44.cudf.caixa.abort                                11-Mar-2011 16:18                 300
44.cudf.caixa.log                                  11-Mar-2011 16:18                  65
44.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12228
44.cudf.caixa.log.time                             11-Mar-2011 16:19                 205
46.cudf.caixa.abort                                11-Mar-2011 16:19                 300
46.cudf.caixa.log                                  11-Mar-2011 16:18                  65
46.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12051
46.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
47.cudf.caixa.abort                                11-Mar-2011 16:18                 300
47.cudf.caixa.log                                  11-Mar-2011 16:18                  65
47.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               11365
47.cudf.caixa.log.time                             11-Mar-2011 16:18                 205
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 443
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               18286
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19                 605
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               20844
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 203
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               20851
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 203
519.cudf.caixa.abort                               11-Mar-2011 16:18                 300
519.cudf.caixa.log                                 11-Mar-2011 16:18                  65
519.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12232
519.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
520.cudf.caixa.abort                               11-Mar-2011 16:18                 300
520.cudf.caixa.log                                 11-Mar-2011 16:19                  65
520.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10826
520.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
521.cudf.caixa.abort                               11-Mar-2011 16:18                 300
521.cudf.caixa.log                                 11-Mar-2011 16:18                  65
521.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11514
521.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
522.cudf.caixa.abort                               11-Mar-2011 16:18                 300
522.cudf.caixa.log                                 11-Mar-2011 16:18                  65
522.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13765
522.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
534.cudf.caixa.abort                               11-Mar-2011 16:19                 300
534.cudf.caixa.log                                 11-Mar-2011 16:18                  65
534.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13762
534.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
536.cudf.caixa.abort                               11-Mar-2011 16:18                 300
536.cudf.caixa.log                                 11-Mar-2011 16:18                  65
536.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               10863
536.cudf.caixa.log.time                            11-Mar-2011 16:19                 205
538.cudf.caixa.abort                               11-Mar-2011 16:18                 300
538.cudf.caixa.log                                 11-Mar-2011 16:18                  65
538.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12387
538.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
550.cudf.caixa.abort                               11-Mar-2011 16:18                 300
550.cudf.caixa.log                                 11-Mar-2011 16:18                  65
550.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12924
550.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
555.cudf.caixa.abort                               11-Mar-2011 16:18                 300
555.cudf.caixa.log                                 11-Mar-2011 16:18                  65
555.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12384
555.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
556.cudf.caixa.abort                               11-Mar-2011 16:18                 300
556.cudf.caixa.log                                 11-Mar-2011 16:18                  65
556.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               11732
556.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
557.cudf.caixa.abort                               11-Mar-2011 16:18                 300
557.cudf.caixa.log                                 11-Mar-2011 16:18                  65
557.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12234
557.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
558.cudf.caixa.abort                               11-Mar-2011 16:18                 300
558.cudf.caixa.log                                 11-Mar-2011 16:18                  65
558.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12110
558.cudf.caixa.log.time                            11-Mar-2011 16:19                 203
559.cudf.caixa.abort                               11-Mar-2011 16:18                 300
559.cudf.caixa.log                                 11-Mar-2011 16:18                  65
559.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12230
559.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 443
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19               20863
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18                 506
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:19                 271
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18               16843
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18                 205
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Mar-2011 16:18                 136
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19                 605
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               19516
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 203
571.cudf.caixa.abort                               11-Mar-2011 16:18                 300
571.cudf.caixa.log                                 11-Mar-2011 16:19                  65
571.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11692
571.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
579.cudf.caixa.abort                               11-Mar-2011 16:18                 300
579.cudf.caixa.log                                 11-Mar-2011 16:18                  65
579.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12225
579.cudf.caixa.log.time                            11-Mar-2011 16:18                 202
58.cudf.caixa.abort                                11-Mar-2011 16:18                 300
58.cudf.caixa.log                                  11-Mar-2011 16:18                  65
58.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               13927
58.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
581.cudf.caixa.abort                               11-Mar-2011 16:19                 300
581.cudf.caixa.log                                 11-Mar-2011 16:18                  65
581.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13757
581.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
582.cudf.caixa.abort                               11-Mar-2011 16:18                 300
582.cudf.caixa.log                                 11-Mar-2011 16:18                  65
582.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13943
582.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
584.cudf.caixa.abort                               11-Mar-2011 16:18                 300
584.cudf.caixa.log                                 11-Mar-2011 16:18                  65
584.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11560
584.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
589.cudf.caixa.abort                               11-Mar-2011 16:18                 300
589.cudf.caixa.log                                 11-Mar-2011 16:18                  65
589.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               13430
589.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                5205
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                4976
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               21783
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 202
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               11694
590.cudf.caixa.abort                               11-Mar-2011 16:19                 300
590.cudf.caixa.log                                 11-Mar-2011 16:18                  65
590.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12929
590.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
591.cudf.caixa.abort                               11-Mar-2011 16:18                 300
591.cudf.caixa.log                                 11-Mar-2011 16:18                  65
591.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13791
591.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
593.cudf.caixa.abort                               11-Mar-2011 16:18                 300
593.cudf.caixa.log                                 11-Mar-2011 16:18                  65
593.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13104
593.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
597.cudf.caixa.abort                               11-Mar-2011 16:18                 300
597.cudf.caixa.log                                 11-Mar-2011 16:18                  65
597.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13113
597.cudf.caixa.log.time                            11-Mar-2011 16:19                 203
63.cudf.caixa.abort                                11-Mar-2011 16:18                 300
63.cudf.caixa.log                                  11-Mar-2011 16:18                  65
63.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12372
63.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
634.cudf.caixa.abort                               11-Mar-2011 16:18                 300
634.cudf.caixa.log                                 11-Mar-2011 16:18                  65
634.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               14482
634.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
642.cudf.caixa.abort                               11-Mar-2011 16:18                 300
642.cudf.caixa.log                                 11-Mar-2011 16:18                  65
642.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12213
642.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
643.cudf.caixa.abort                               11-Mar-2011 16:18                 300
643.cudf.caixa.log                                 11-Mar-2011 16:18                  65
643.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10824
643.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
645.cudf.caixa.abort                               11-Mar-2011 16:18                 300
645.cudf.caixa.log                                 11-Mar-2011 16:18                  65
645.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               13250
645.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
65.cudf.caixa.abort                                11-Mar-2011 16:18                 300
65.cudf.caixa.log                                  11-Mar-2011 16:18                  65
65.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12226
65.cudf.caixa.log.time                             11-Mar-2011 16:18                 202
650.cudf.caixa.abort                               11-Mar-2011 16:18                 300
650.cudf.caixa.log                                 11-Mar-2011 16:18                  65
650.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14501
650.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
654.cudf.caixa.abort                               11-Mar-2011 16:18                 300
654.cudf.caixa.log                                 11-Mar-2011 16:18                  65
654.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12920
654.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
657.cudf.caixa.abort                               11-Mar-2011 16:18                 300
657.cudf.caixa.log                                 11-Mar-2011 16:18                  65
657.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               10868
657.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
658.cudf.caixa.abort                               11-Mar-2011 16:18                 300
658.cudf.caixa.log                                 11-Mar-2011 16:18                  65
658.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10863
658.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
66.cudf.caixa.abort                                11-Mar-2011 16:18                 300
66.cudf.caixa.log                                  11-Mar-2011 16:18                  65
66.cudf.caixa.log.runsolver                        11-Mar-2011 16:19               12883
66.cudf.caixa.log.time                             11-Mar-2011 16:18                 204
672.cudf.caixa.abort                               11-Mar-2011 16:18                 300
672.cudf.caixa.log                                 11-Mar-2011 16:19                  65
672.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13792
672.cudf.caixa.log.time                            11-Mar-2011 16:19                 205
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:19                 443
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               21593
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
690.cudf.caixa.abort                               11-Mar-2011 16:18                 300
690.cudf.caixa.log                                 11-Mar-2011 16:18                  65
690.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11424
690.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 443
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               21207
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:19                 208
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               18692
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
74.cudf.caixa.abort                                11-Mar-2011 16:18                 300
74.cudf.caixa.log                                  11-Mar-2011 16:18                  65
74.cudf.caixa.log.runsolver                        11-Mar-2011 16:18               12048
74.cudf.caixa.log.time                             11-Mar-2011 16:18                 202
745.cudf.caixa.abort                               11-Mar-2011 16:18                 300
745.cudf.caixa.log                                 11-Mar-2011 16:18                  65
745.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10807
745.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
770.cudf.caixa.abort                               11-Mar-2011 16:18                 300
770.cudf.caixa.log                                 11-Mar-2011 16:18                  65
770.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11515
770.cudf.caixa.log.time                            11-Mar-2011 16:18                 202
775.cudf.caixa.abort                               11-Mar-2011 16:18                 300
775.cudf.caixa.log                                 11-Mar-2011 16:18                  65
775.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13612
775.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
778.cudf.caixa.abort                               11-Mar-2011 16:18                 300
778.cudf.caixa.log                                 11-Mar-2011 16:18                  65
778.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12047
778.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
779.cudf.caixa.abort                               11-Mar-2011 16:18                 300
779.cudf.caixa.log                                 11-Mar-2011 16:18                  65
779.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13790
779.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
781.cudf.caixa.abort                               11-Mar-2011 16:19                 300
781.cudf.caixa.log                                 11-Mar-2011 16:18                  65
781.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               15173
781.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
787.cudf.caixa.abort                               11-Mar-2011 16:19                 300
787.cudf.caixa.log                                 11-Mar-2011 16:19                  65
787.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13069
787.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                5205
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                4976
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               20373
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 202
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               11694
801.cudf.caixa.abort                               11-Mar-2011 16:18                 300
801.cudf.caixa.log                                 11-Mar-2011 16:18                  65
801.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12920
801.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
808.cudf.caixa.abort                               11-Mar-2011 16:18                 300
808.cudf.caixa.log                                 11-Mar-2011 16:18                  65
808.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12466
808.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
809.cudf.caixa.abort                               11-Mar-2011 16:18                 300
809.cudf.caixa.log                                 11-Mar-2011 16:18                  65
809.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11887
809.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
811.cudf.caixa.abort                               11-Mar-2011 16:18                 300
811.cudf.caixa.log                                 11-Mar-2011 16:18                  65
811.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12288
811.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
812.cudf.caixa.abort                               11-Mar-2011 16:18                 300
812.cudf.caixa.log                                 11-Mar-2011 16:18                  65
812.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13257
812.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
813.cudf.caixa.abort                               11-Mar-2011 16:18                 300
813.cudf.caixa.log                                 11-Mar-2011 16:18                  65
813.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13949
813.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
814.cudf.caixa.abort                               11-Mar-2011 16:18                 300
814.cudf.caixa.log                                 11-Mar-2011 16:18                  65
814.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12572
814.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
815.cudf.caixa.abort                               11-Mar-2011 16:18                 300
815.cudf.caixa.log                                 11-Mar-2011 16:18                  65
815.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12236
815.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
816.cudf.caixa.abort                               11-Mar-2011 16:18                 300
816.cudf.caixa.log                                 11-Mar-2011 16:18                  65
816.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               15170
816.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
817.cudf.caixa.abort                               11-Mar-2011 16:18                 300
817.cudf.caixa.log                                 11-Mar-2011 16:18                  65
817.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               15239
817.cudf.caixa.log.time                            11-Mar-2011 16:18                 247
818.cudf.caixa.abort                               11-Mar-2011 16:18                 300
818.cudf.caixa.log                                 11-Mar-2011 16:18                  65
818.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10807
818.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
819.cudf.caixa.abort                               11-Mar-2011 16:18                 300
819.cudf.caixa.log                                 11-Mar-2011 16:18                  65
819.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13768
819.cudf.caixa.log.time                            11-Mar-2011 16:19                 203
820.cudf.caixa.abort                               11-Mar-2011 16:18                 300
820.cudf.caixa.log                                 11-Mar-2011 16:18                  65
820.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13792
820.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
821.cudf.caixa.abort                               11-Mar-2011 16:18                 300
821.cudf.caixa.log                                 11-Mar-2011 16:18                  65
821.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13802
821.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
822.cudf.caixa.abort                               11-Mar-2011 16:18                 300
822.cudf.caixa.log                                 11-Mar-2011 16:18                  65
822.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               14481
822.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
832.cudf.caixa.abort                               11-Mar-2011 16:18                 300
832.cudf.caixa.log                                 11-Mar-2011 16:18                  65
832.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12424
832.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
837.cudf.caixa.abort                               11-Mar-2011 16:18                 300
837.cudf.caixa.log                                 11-Mar-2011 16:18                  65
837.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10554
837.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
841.cudf.caixa.abort                               11-Mar-2011 16:18                 300
841.cudf.caixa.log                                 11-Mar-2011 16:18                  65
841.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12920
841.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
843.cudf.caixa.abort                               11-Mar-2011 16:18                 300
843.cudf.caixa.log                                 11-Mar-2011 16:18                  65
843.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13795
843.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
847.cudf.caixa.abort                               11-Mar-2011 16:18                 300
847.cudf.caixa.log                                 11-Mar-2011 16:18                  65
847.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12113
847.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
855.cudf.caixa.abort                               11-Mar-2011 16:18                 300
855.cudf.caixa.log                                 11-Mar-2011 16:18                  65
855.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13788
855.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
856.cudf.caixa.abort                               11-Mar-2011 16:18                 300
856.cudf.caixa.log                                 11-Mar-2011 16:18                  65
856.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12115
856.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
858.cudf.caixa.abort                               11-Mar-2011 16:18                 300
858.cudf.caixa.log                                 11-Mar-2011 16:18                  65
858.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12229
858.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
868.cudf.caixa.abort                               11-Mar-2011 16:18                 300
868.cudf.caixa.log                                 11-Mar-2011 16:18                  65
868.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12923
868.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
869.cudf.caixa.abort                               11-Mar-2011 16:18                 300
869.cudf.caixa.log                                 11-Mar-2011 16:18                  65
869.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               12424
869.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
873.cudf.caixa.abort                               11-Mar-2011 16:18                 300
873.cudf.caixa.log                                 11-Mar-2011 16:18                  65
873.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               11845
873.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               21586
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
902.cudf.caixa.abort                               11-Mar-2011 16:18                 300
902.cudf.caixa.log                                 11-Mar-2011 16:19                  65
902.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12920
902.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
933.cudf.caixa.abort                               11-Mar-2011 16:18                 300
933.cudf.caixa.log                                 11-Mar-2011 16:18                  65
933.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12023
933.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
937.cudf.caixa.abort                               11-Mar-2011 16:18                 300
937.cudf.caixa.log                                 11-Mar-2011 16:18                  65
937.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12243
937.cudf.caixa.log.time                            11-Mar-2011 16:18                 205
944.cudf.caixa.abort                               11-Mar-2011 16:18                 300
944.cudf.caixa.log                                 11-Mar-2011 16:19                  65
944.cudf.caixa.log.runsolver                       11-Mar-2011 16:19               13797
944.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
947.cudf.caixa.abort                               11-Mar-2011 16:18                 300
947.cudf.caixa.log                                 11-Mar-2011 16:18                  65
947.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12922
947.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
948.cudf.caixa.abort                               11-Mar-2011 16:18                 300
948.cudf.caixa.log                                 11-Mar-2011 16:18                  65
948.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12917
948.cudf.caixa.log.time                            11-Mar-2011 16:18                 200
950.cudf.caixa.abort                               11-Mar-2011 16:18                 300
950.cudf.caixa.log                                 11-Mar-2011 16:18                  65
950.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13790
950.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
951.cudf.caixa.abort                               11-Mar-2011 16:19                 300
951.cudf.caixa.log                                 11-Mar-2011 16:18                  65
951.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               10807
951.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               18569
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
990.cudf.caixa.abort                               11-Mar-2011 16:18                 300
990.cudf.caixa.log                                 11-Mar-2011 16:18                  65
990.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13065
990.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
991.cudf.caixa.abort                               11-Mar-2011 16:19                 300
991.cudf.caixa.log                                 11-Mar-2011 16:18                  65
991.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12924
991.cudf.caixa.log.time                            11-Mar-2011 16:19                 204
992.cudf.caixa.abort                               11-Mar-2011 16:18                 300
992.cudf.caixa.log                                 11-Mar-2011 16:18                  65
992.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13793
992.cudf.caixa.log.time                            11-Mar-2011 16:18                 204
993.cudf.caixa.abort                               11-Mar-2011 16:18                 300
993.cudf.caixa.log                                 11-Mar-2011 16:18                  65
993.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               13793
993.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
995.cudf.caixa.abort                               11-Mar-2011 16:18                 300
995.cudf.caixa.log                                 11-Mar-2011 16:18                  65
995.cudf.caixa.log.runsolver                       11-Mar-2011 16:18               12376
995.cudf.caixa.log.time                            11-Mar-2011 16:18                 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:19               18693
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 204
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               18335
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:19                 204
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               21177
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                   0
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 443
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 208
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               19654
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 203
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 11-Mar-2011 16:18                 443
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 11-Mar-2011 16:19                 208
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 11-Mar-2011 16:18               19554
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 11-Mar-2011 16:18                 203
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 443
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 208
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18               20052
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Mar-2011 16:18                 203
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 605
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 370
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18               21191
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 11-Mar-2011 16:18                 204
rand102.cudf.heavy.abort                           11-Mar-2011 16:18                 523
rand102.cudf.heavy.log                             11-Mar-2011 16:18                 288
rand102.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               21043
rand102.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand133.cudf.heavy.abort                           11-Mar-2011 16:18                 826
rand133.cudf.heavy.log                             11-Mar-2011 16:19                 425
rand133.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               18178
rand133.cudf.heavy.log.time                        11-Mar-2011 16:19                 203
rand151.cudf.heavy.abort                           11-Mar-2011 16:18                 741
rand151.cudf.heavy.log                             11-Mar-2011 16:18                 340
rand151.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               19232
rand151.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand171.cudf.heavy.abort                           11-Mar-2011 16:18                 609
rand171.cudf.heavy.log                             11-Mar-2011 16:18                 208
rand171.cudf.heavy.log.runsolver                   11-Mar-2011 16:19               19266
rand171.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand190.cudf.heavy.abort                           11-Mar-2011 16:18                 584
rand190.cudf.heavy.log                             11-Mar-2011 16:18                 208
rand190.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               19247
rand190.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand239.cudf.heavy.abort                           11-Mar-2011 16:18                 716
rand239.cudf.heavy.log                             11-Mar-2011 16:18                 340
rand239.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20798
rand239.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand327.cudf.heavy.abort                           11-Mar-2011 16:18                 609
rand327.cudf.heavy.log                             11-Mar-2011 16:18                 208
rand327.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20853
rand327.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand384.cudf.heavy.abort                           11-Mar-2011 16:18                 647
rand384.cudf.heavy.log                             11-Mar-2011 16:18                 271
rand384.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               17590
rand384.cudf.heavy.log.time                        11-Mar-2011 16:18                 202
rand384.cudf.heavy.result.bz2                      11-Mar-2011 16:19                 136
rand4.cudf.heavy.error                             11-Mar-2011 16:19               11394
rand4.cudf.heavy.log                               11-Mar-2011 16:18               11024
rand4.cudf.heavy.log.runsolver                     11-Mar-2011 16:18               17158
rand4.cudf.heavy.log.time                          11-Mar-2011 16:18                 200
rand4.cudf.heavy.result.bz2                        11-Mar-2011 16:18               37590
rand469.cudf.heavy.abort                           11-Mar-2011 16:18                 853
rand469.cudf.heavy.log                             11-Mar-2011 16:19                 340
rand469.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20389
rand469.cudf.heavy.log.time                        11-Mar-2011 16:18                   0
rand565.cudf.heavy.abort                           11-Mar-2011 16:18                 741
rand565.cudf.heavy.log                             11-Mar-2011 16:19                 340
rand565.cudf.heavy.log.runsolver                   11-Mar-2011 16:19               19099
rand565.cudf.heavy.log.time                        11-Mar-2011 16:18                   0
rand601.cudf.heavy.abort                           11-Mar-2011 16:18                 741
rand601.cudf.heavy.log                             11-Mar-2011 16:18                 340
rand601.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20029
rand601.cudf.heavy.log.time                        11-Mar-2011 16:18                   0
rand614.cudf.heavy.abort                           11-Mar-2011 16:18                 741
rand614.cudf.heavy.log                             11-Mar-2011 16:19                 340
rand614.cudf.heavy.log.runsolver                   11-Mar-2011 16:19               20767
rand614.cudf.heavy.log.time                        11-Mar-2011 16:18                   0
rand64.cudf.heavy.abort                            11-Mar-2011 16:18                 609
rand64.cudf.heavy.log                              11-Mar-2011 16:18                 208
rand64.cudf.heavy.log.runsolver                    11-Mar-2011 16:19               20740
rand64.cudf.heavy.log.time                         11-Mar-2011 16:18                 202
rand67.cudf.heavy.abort                            11-Mar-2011 16:18                 715
rand67.cudf.heavy.log                              11-Mar-2011 16:18                 339
rand67.cudf.heavy.log.runsolver                    11-Mar-2011 16:18               20141
rand67.cudf.heavy.log.time                         11-Mar-2011 16:18                 202
rand91.cudf.heavy.abort                            11-Mar-2011 16:18                 740
rand91.cudf.heavy.log                              11-Mar-2011 16:18                 339
rand91.cudf.heavy.log.runsolver                    11-Mar-2011 16:18               19197
rand91.cudf.heavy.log.time                         11-Mar-2011 16:18                 202
rand948.cudf.heavy.abort                           11-Mar-2011 16:18                 609
rand948.cudf.heavy.log                             11-Mar-2011 16:18                 208
rand948.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20199
rand948.cudf.heavy.log.time                        11-Mar-2011 16:18                 202
rand952.cudf.heavy.error                           11-Mar-2011 16:18                4918
rand952.cudf.heavy.log                             11-Mar-2011 16:18                4548
rand952.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               22766
rand952.cudf.heavy.log.time                        11-Mar-2011 16:18                 202
rand952.cudf.heavy.result.bz2                      11-Mar-2011 16:19               40517
rand957.cudf.heavy.abort                           11-Mar-2011 16:18                 928
rand957.cudf.heavy.log                             11-Mar-2011 16:18                 415
rand957.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               19544
rand957.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand967.cudf.heavy.abort                           11-Mar-2011 16:18                 609
rand967.cudf.heavy.log                             11-Mar-2011 16:18                 208
rand967.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20801
rand967.cudf.heavy.log.time                        11-Mar-2011 16:18                 203
rand992.cudf.heavy.abort                           11-Mar-2011 16:18                 790
rand992.cudf.heavy.log                             11-Mar-2011 16:19                 414
rand992.cudf.heavy.log.runsolver                   11-Mar-2011 16:18               20803
rand992.cudf.heavy.log.time                        11-Mar-2011 16:18                   0