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