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