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