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