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