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