(1,9) (2,25) (3,23) (4,21) (5,10) (6,24) (7,12) (8,16) (11,26) (13,17) (14,20) (15,22) (18,19) (27,30) (28,29) 
nodes: 2839  conflicts: 39  modelTime: 942  solveTime: 12323  totalTime: 13276  modelSize: 72269  readTime: 11 size: 15