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