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