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