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