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