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