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