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