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