(1,27) (2,25) (3,30) (4,29) (5,17) (6,24) (7,18) (9,16) (10,21) (11,19) (12,23) (13,28) (14,26) (15,20) 
nodes: 2331  conflicts: 33  modelTime: 655  solveTime: 3637  totalTime: 4298  modelSize: 41292  readTime: 6 size: 14