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