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