(2,25) (3,18) (4,17) (6,29) (7,22) (8,19) (9,23) (10,30) (11,21) (12,24) (13,20) (14,27) (15,26) 
nodes: 1321  conflicts: 39  modelTime: 657  solveTime: 1760  totalTime: 2424  modelSize: 41298  readTime: 7 size: 13