(1,30) (3,25) (4,26) (5,16) (6,19) (7,20) (8,21) (9,24) (10,22) (11,27) (12,28) (13,18) (14,17) (15,29) 
nodes: 42840  conflicts: 15  modelTime: 659  solveTime: 86945  totalTime: 87609  modelSize: 41292  readTime: 5 size: 14