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