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