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