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