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