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