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