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