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