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