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