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