(1,30) (2,22) (3,23) (4,25) (5,27) (6,21) (7,19) (8,16) (9,24) (11,18) (13,26) (14,28) (15,17) 
nodes: 1989  conflicts: 52  modelTime: 659  solveTime: 2945  totalTime: 3610  modelSize: 41292  readTime: 6 size: 13