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