(1,24) (2,25) (3,29) (4,16) (5,20) (6,17) (8,22) (9,26) (10,28) (11,21) (12,18) (13,19) (14,27) (15,30) 
nodes: 4734  conflicts: 4  modelTime: 716  solveTime: 5878  totalTime: 6601  modelSize: 41293  readTime: 7 size: 14