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