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