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