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