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