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