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