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