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