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