(1,12) (2,17) (3,11) (4,16) (5,28) (6,26) (7,13) (8,30) (9,18) (10,15) (14,29) (19,20) (21,25) (22,23) (24,27) 
nodes: 70953  conflicts: 37  modelTime: 1707  solveTime: 237585  totalTime: 239311  modelSize: 72269  readTime: 19 size: 15