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