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