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