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