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