(1,24) (2,16) (3,30) (4,22) (5,20) (6,18) (7,26) (9,19) (10,29) (11,28) (12,21) (13,23) (14,27) (15,25) 
nodes: 3553  conflicts: 19  modelTime: 663  solveTime: 10256  totalTime: 10924  modelSize: 41298  readTime: 5 size: 14