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