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