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