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