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