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