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