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