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