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