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