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