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