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