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