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