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