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