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