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