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