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