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