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