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