(1,29) (3,25) (5,20) (7,19) (8,27) (9,21) (10,16) (11,30) (12,17) (13,24) (14,22) (15,26) 
nodes: 1417  conflicts: 71  modelTime: 662  solveTime: 1431  totalTime: 2100  modelSize: 41293  readTime: 7 size: 12