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