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