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