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