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