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