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