(1,30) (2,24) (3,21) (4,22) (5,17) (7,25) (8,28) (9,26) (10,27) (11,29) (12,20) (13,19) (14,23) (15,18) 
nodes: 13544  conflicts: 18  modelTime: 661  solveTime: 24290  totalTime: 24958  modelSize: 41292  readTime: 6 size: 14