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