(1,27) (2,28) (3,30) (4,17) (5,22) (6,16) (7,24) (8,20) (9,19) (10,29) (11,23) (12,18) (13,21) (14,25) (15,26) 
nodes: 33716  conflicts: 11  modelTime: 660  solveTime: 90626  totalTime: 91290  modelSize: 41292  readTime: 4 size: 15