(1,30) (2,19) (3,20) (4,24) (5,16) (6,27) (7,26) (8,25) (9,29) (10,23) (12,17) (13,28) (14,21) (15,22) 
nodes: 3129  conflicts: 25  modelTime: 658  solveTime: 5218  totalTime: 5882  modelSize: 41298  readTime: 6 size: 14