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