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