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