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