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