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