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