(1,17) (2,25) (3,24) (5,29) (6,22) (7,28) (8,27) (9,16) (10,30) (12,26) (13,18) (14,21) (15,20) 
nodes: 4136  conflicts: 33  modelTime: 657  solveTime: 7125  totalTime: 7789  modelSize: 41298  readTime: 7 size: 13