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