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