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