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