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