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