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