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