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