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