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