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