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