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