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