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