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