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