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