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