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