(1,24) (2,20) (4,29) (5,27) (6,17) (7,30) (8,26) (10,25) (11,19) (13,23) (15,21) 
nodes: 5805  conflicts: 54  modelTime: 658  solveTime: 9548  totalTime: 10212  modelSize: 41292  readTime: 6 size: 11