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