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