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