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