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