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