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