(1,23) (2,29) (3,25) (5,30) (6,17) (8,18) (9,19) (10,16) (11,24) (12,26) (13,27) (14,28) (15,21) 
nodes: 1245  conflicts: 50  modelTime: 658  solveTime: 2284  totalTime: 2948  modelSize: 41292  readTime: 6 size: 13