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