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