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