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