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