(1,20) (2,27) (4,29) (5,18) (6,22) (7,16) (8,21) (9,30) (10,25) (11,17) (12,19) (13,23) (14,28) (15,24) 
nodes: 2741  conflicts: 37  modelTime: 657  solveTime: 2654  totalTime: 3318  modelSize: 41298  readTime: 7 size: 14