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