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