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