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