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