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