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