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