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