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