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