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