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