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