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