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