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