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