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