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