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