(1,3) (2,27) (4,7) (5,19) (6,28) (8,22) (9,14) (10,29) (11,25) (12,20) (13,15) (16,18) (17,24) (21,23) (26,30) 
nodes: 2348048  conflicts: 46  modelTime: 938  solveTime: 12445982  totalTime: 12446931  modelSize: 72285  readTime: 11 size: 15