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