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