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