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