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