(1,23) (2,27) (3,16) (5,28) (6,21) (7,24) (8,26) (9,25) (10,22) (12,17) (13,20) (14,30) (15,19) 
nodes: 3615  conflicts: 46  modelTime: 662  solveTime: 6121  totalTime: 6789  modelSize: 41298  readTime: 6 size: 13