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