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