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