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