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