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