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