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