(1,10) (2,19) (3,7) (4,9) (5,6) (8,12) (11,20) (13,29) (14,27) (15,26) (16,23) (17,24) (18,28) (21,22) (25,30) 
nodes: 10965  conflicts: 32  modelTime: 1709  solveTime: 56339  totalTime: 58068  modelSize: 72263  readTime: 20 size: 15