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