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