(1,30) (2,21) (3,25) (4,20) (5,18) (6,22) (7,26) (8,19) (10,28) (12,16) (13,27) (14,23) (15,29) 
nodes: 1570  conflicts: 36  modelTime: 657  solveTime: 2737  totalTime: 3401  modelSize: 41298  readTime: 7 size: 13