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