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