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