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