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