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