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