(2,18) (3,28) (4,27) (5,21) (6,30) (7,25) (9,26) (10,22) (11,29) (12,16) (13,20) (14,17) (15,23) 
nodes: 15204  conflicts: 39  modelTime: 658  solveTime: 28806  totalTime: 29470  modelSize: 41293  readTime: 6 size: 13