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