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