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