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