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