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